Theorem isAtomic_iff_forall_isAtomic_Iic

Modification history