Theorem Algebra.FormallyUnramified.isField_of_isAlgClosed_of_isLocalRing

Modification history