Theorem dummylink 27341

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

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

Hypotheses

Ref	Expression
dummylink.1	|- ph
dummylink.2	|- ps

Assertion

Ref	Expression
dummylink	|- ph

Proof of Theorem dummylink

Step	Hyp	Ref	Expression
1		dummylink.1	1 |- ph

This theorem is referenced by: (None)