Theorem FiberwiseLinear.source_trans_partialHomeomorph

Modification history

2024-01-08 13:15
Mathlib/Geometry/Manifold/VectorBundle/FiberwiseLinear.lean
chore: last LocalHomeomorph -> PartialHomeomorph renames (#9238) …
Added FiberwiseLinear.source_trans_partialHomeomorphView on Github →