Theorem IsCompl.isCoatom_iff_isAtom

Modification history