Commit 2022-11-22 18:26 f11f1e72

View on Github →

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

Estimated changes