mathlib3
23a3e7d9 - fix(geometry/manifold/vector_bundle): fix timeout (#18507)

Commit
2 years ago
fix(geometry/manifold/vector_bundle): fix timeout (#18507) * Also uniformize the spelling of fiberwise/fibrewise * [Zulip thread](https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Timeout.20in.20geometry.2Emanifold.2Evector_bundle)
Author
Parents
Loading