Theorem IsAtom.not_disjoint_iff_le

Modification history