Theorem IsLocalRing.of_subring'

Modification history