Theorem IsLocalRing.isWeaklyRegular_of_perm_of_subset_maximalIdeal

Modification history