Theorem Algebra.FormallyUnramified.isField_of_isAlgClosed_of_localRing

Modification history