Theorem LocalRing.ResidueField.mapEquiv_refl

Modification history