Def Algebra.FormallyUnramified.sec

Modification history

2024-07-15 20:56

Mathlib/RingTheory/Unramified/Finite.lean

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

Added Algebra.FormallyUnramified.sec View on Github →