Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-02-27 21:24 23a3e7d9

View on Github →

fix(geometry/manifold/vector_bundle): fix timeout (#18507)

  • Also uniformize the spelling of fiberwise/fibrewise
  • Zulip thread

Estimated changes