Def LocalRing.residue

Modification history