Theorem Specializes.not_disjoint

Modification history