Theorem Homeomorph.image_eq_preimage

Modification history

2024-12-10 06:48
Mathlib/Topology/Homeomorph.lean
feat: more API for iteratedFDeriv (#19769) …
Added Homeomorph.image_eq_preimageView on Github →