Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-10-23 20:28 36dfcfcd

View on Github →

doc(topology/topological_fiber_bundle): documentation improvements (#1594)

feat(topology/topological_fiber_bundle): improvements
minor fixes

Estimated changes

Modified src/topology/topological_fiber_bundle.lean

modified def topological_fiber_bundle_core.base

modified def topological_fiber_bundle_core.fiber

modified def topological_fiber_bundle_core.index

modified def topological_fiber_bundle_core.total_space