Theorem IsLocalRing.residue_surjective

Modification history