Theorem IsLocalRing.of_surjective

Modification history