Theorem isAtomic_iff_isCoatomic

Modification history