Theorem Algebra.IsUnramifiedAt.not_minpoly_sq_dvd

Modification history

2026-02-06 15:35
Mathlib/RingTheory/Unramified/Field.lean
feat(RingTheory): local structure of monogenic unramified algebras (#33903)
Added Algebra.IsUnramifiedAt.not_minpoly_sq_dvdView on Github →