# Commit 2021-04-14 18:40 f12575e8

View on Github →feat(topology/topological_fiber_bundle): topological fiber bundle over `[a, b]`

is trivial (#6555)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(topology/topological_fiber_bundle): topological fiber bundle over `[a, b]`

is trivial (#6555)