Def ValuationSubring.subMulAction

Modification history

2023-06-21 21:04

Mathlib/RingTheory/Valuation/RamificationGroup.lean

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

Added ValuationSubring.subMulAction View on Github →