Mathlib Changelog
v4
Changelog
About
Github
Theorem
FiberwiseLinear.target_trans_partialHomeomorph
Modification history
2024-01-08 13:15
Mathlib/Geometry/Manifold/VectorBundle/FiberwiseLinear.lean
chore: last LocalHomeomorph -> PartialHomeomorph renames (#9238) …
Added
FiberwiseLinear.target_trans_partialHomeomorph
View on Github →