Skip to content

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

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

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

Post-CI job (fork)

succeeded Oct 10, 2025 in 6s