Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Wolf Lammen
An alternative axiom ~ ax-13
Next ⟩
ax-wl-13v
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 21.23.9. An alternative axiom ~ ax-13
ax-wl-13v
wl-ax13lem1