Theorem IsLocalRing.ker_residue

Modification history