Theorem Algebra.FormallyUnramified.bijective_of_isAlgClosed_of_isLocalRing

Modification history