Skip to content

feat(RingTheory/Valuation/Discrete/Basic): add exists_zpow_Uniformizer #4788

feat(RingTheory/Valuation/Discrete/Basic): add exists_zpow_Uniformizer

feat(RingTheory/Valuation/Discrete/Basic): add exists_zpow_Uniformizer #4788

Add closed-pr emoji in Zulip

succeeded Oct 14, 2025 in 12s