Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-06-04 16:20 13361559

View on Github →

chore(topology/sheaves/*): universe generalizations (#19153) Necessary but sadly insufficient for the request at https://leanprover.zulipchat.com/#narrow/stream/144837-PR-reviews/topic/.2319146.20sheaves.20on.20manifolds

Estimated changes