Theorem IsLocalRing.of_surjective'

Modification history