Theorem WithVal.valued_toVal

Modification history

2026-03-02 19:44
Mathlib/Topology/Algebra/Valued/WithVal.lean
chore: fix naming in `WithVal` (#35972) …
Added WithVal.valued_toValView on Github →