Def Algebra.FormallyUnramified.elem

Modification history

2024-07-15 20:56

Mathlib/RingTheory/Unramified/Finite.lean

feat(RingTheory/Unramified): Unramified + free => finite (#14478)

Added Algebra.FormallyUnramified.elem View on Github →