Theorem WithVal.apply_ofVal

Modification history

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