Theorem isStronglyAtomic_dual_iff_is_stronglyCoatomic

Modification history