Theorem IsLocalRing.of_unique_nonzero_prime

Modification history