Theorem isAtom_iff

Modification history