Theorem IsLocalRing.residue_def

Modification history