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 𝜑


Step Hyp Ref Expression
1 dummylink.1 𝜑
2 dummylink.2 𝜓