Commit 2024-04-27 23:30 0b522a14
View on Github →fix(AlgebraicGeometry/GammaSpecAdjunction): speedup by adding universes (#12469) Add some explicit universe annotations because they cause a speedup (currently an unexplained phenomenon, unfortunately).