Theorem LocalRing.isWeaklyRegular_of_perm_of_subset_maximalIdeal

Modification history