Theorem LocalRing.ker_residue

Modification history