mathlib3

doc(topology/topological_fiber_bundle): documentation improvements

#1594

Merged