Theorem Algebra.FormallyUnramified.isField_quotient_map_maximalIdeal

Modification history