Theorem IsLocalRing.local_hom_TFAE

Modification history