Theorem IsLocalRing.isRegular_of_perm

Modification history