Commit 2026-10-19 10:34 42b0c741

View on Github →

feat(RingTheory/Valuation/ValuativeRel/Basic): add IsEquiv lemmas (#43683)

Estimated changes