Theorem Homeomorph.symm_trans_apply

Modification history

2023-10-11 19:02
Mathlib/Topology/Homeomorph.lean
chore(Topology/Homeomorph): rename type variables (#7587) …
Modified Homeomorph.symm_trans_applyView on Github →
2023-07-21 08:49
Mathlib/Topology/Homeomorph.lean
feat: add some missing simp lemmas (#6028)
Added Homeomorph.symm_trans_applyView on Github →