Theorem FiberBundle.t1Space

Modification history

2026-03-10 11:05
Mathlib/Topology/FiberBundle/Basic.lean
feat(Manifold/VectorBundle): tensoriality construction (#36432) …
Added FiberBundle.t1SpaceView on Github →