basic): make argument of fiber_bundle_core.to_topological_space implicit (#17678)

Commit

3 years ago

fix(topology/fiber_bundle/basic): make argument of fiber_bundle_core.to_topological_space implicit (#17678) `ι` already occurs in the type of `Z`

Author

fpvandoorn

Parents