Theorem topological_fiber_bundle_core.local_triv'_inv_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'_inv_fstView on Github →