Theorem IsLocalRing.isRegular_iff_isWeaklyRegular_of_subset_maximalIdeal

Modification history