Theorem isAtomistic_dual_iff_isCoatomistic

Modification history