Theorem IsLocalRing.ResidueField.mapEquiv_refl

Modification history