Theorem LocalRing.ResidueField.map_id

Modification history