Theorem LocalRing.isRegular_of_perm

Modification history