Metamath Proof Explorer


Theorem dummylink

Description: Alias for a1ii that may be referenced in some older works, and kept here to prevent broken links.

If you landed here, please let the originating site and/or us know that the link that made you land here should be changed to a link to a1ii .

(Contributed by NM, 7-Feb-2006) (Proof modification is discouraged.) (New usage is discouraged.)

Ref Expression
Hypotheses dummylink.1 φ
dummylink.2 ψ
Assertion dummylink φ

Proof

Step Hyp Ref Expression
1 dummylink.1 φ
2 dummylink.2 ψ