Def LocalRing.ResidueField

Modification history