Theorem IsAtom.lt_iff

Modification history