Theorem Algebra.FormallyUnramified.bijective_of_isAlgClosed_of_localRing

Modification history