Theorem IsLocalRing.ResidueField.map_comp_residue

Modification history