Theorem Valuation.pow_Uniformizer_is_pow_generator

Modification history

2025-07-11 14:29

Mathlib/RingTheory/Valuation/Discrete/Basic.lean

feat(RingTheory/Valuation/Discrete/Basic): add uniformizer API (#26591) …

Added Valuation.pow_Uniformizer_is_pow_generator View on Github →