Theorem topological_fiber_bundle_core.local_triv'_fst
Modification history
2020-10-01 14:27
src/topology/topological_fiber_bundle.lean
feat(geometry/manifold): derivative of the zero section of the tangent bundle (#4292) …
Deleted topological_fiber_bundle_core.local_triv'_fstView on Github →