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	$$⊢\phi$$
	dummylink.2	$$⊢\psi$$
Assertion	dummylink	$$⊢\phi$$

Proof

Step	Hyp	Ref	Expression
1		dummylink.1	$$⊢\phi$$
2		dummylink.2	$$⊢\psi$$