Theorem isCoatomistic_dual_iff_isAtomistic

Modification history