Theorem dummylink 30433

Description: Alias for a1ii 2 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 2.

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

Hypotheses

Ref	Expression
dummylink.1	⊢ 𝜑
dummylink.2	⊢ 𝜓

Assertion

Ref	Expression
dummylink	⊢ 𝜑

Proof of Theorem dummylink

Step	Hyp	Ref	Expression
1		dummylink.1	1 ⊢ 𝜑

This theorem is referenced by: (None)