Theorem OrderIso.isAtom_iff

Modification history