Theorem IsLocalRing.of_subring

Modification history