Theorem WithVal.apply_symm_equiv

Modification history

2026-03-02 19:44
Mathlib/Topology/Algebra/Valued/WithVal.lean
chore: fix naming in `WithVal` (#35972) …
Deleted WithVal.apply_symm_equivView on Github →
2026-03-02 10:51
Mathlib/Topology/Algebra/Valued/WithVal.lean
refactor: use 1-field structure to define the `WithVal` type synonym (#34049) …
Modified WithVal.apply_symm_equivView on Github →
2025-08-19 04:15
Mathlib/Topology/Algebra/Valued/WithVal.lean
chore: fix defeq abuse in `WithVal` (#28597) …
Modified WithVal.apply_symm_equivView on Github →
2025-08-08 18:47
Mathlib/Topology/Algebra/Valued/WithVal.lean
chore(Valued/WithVal): apply_symm_equiv (#27110) …
Added WithVal.apply_symm_equivView on Github →