Theorem isCoatomic_dual_iff_isAtomic

Modification history