Mention apartness in iset.mm
Mention apartness in iset.mm

In the section on how to intuitionize proofs, it seems fair to
discuss not equal versus apart.

metamath/set.mm,metamath/set.mm,metamath/set.mm