|Metamath Proof Explorer||
|Mirrors > Home > MPE Home > Th. List > dummylink||Structured version Visualization version GIF version|
|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.)
|1||dummylink.1||1 ⊢ 𝜑|
|Colors of variables: wff setvar class|
|This theorem is referenced by: (None)|
|Copyright terms: Public domain||W3C validator|