Theorem IsLocalRing.ResidueField.map_id_apply

Modification history