Def Algebra.IsUnramifiedIn

Modification history

2026-06-22 15:26
Mathlib/RingTheory/Unramified/Locus.lean
feat: add Algebra.IsUnramifiedIn (#40886)
Added Algebra.IsUnramifiedInView on Github →