Theorem Algebra.FormallyUnramified.iff_map_maximalIdeal_eq

Modification history