Def ValuationSubring.inertiaSubgroup

Modification history

2023-06-21 21:04

Mathlib/RingTheory/Valuation/RamificationGroup.lean

feat: port RingTheory.Valuation.RamificationGroup (#5351)

Added ValuationSubring.inertiaSubgroup View on Github →