Def WithVal.valuation

Modification history

2025-10-06 08:23
Mathlib/Topology/Algebra/Valued/WithVal.lean
feat(Topology/WithVal): ValuativeRel (WithVal v) (#27207) …
Added WithVal.valuationView on Github →