Theorem LocalRing.of_surjective'

Modification history