Theorem IsSMulRegular.biUnion_associatedPrimes_eq_compl_regular

Modification history