Theorem IsLocalRing.ResidueField.map_residue

Modification history