Commit 2024-04-30 23:37 ac466445
View on Github →perf(AlgebraicGeometry.Spec): add explicit universe annotations (#12557)
Following #12469 and #12494, we add explicit universe levels in AlgebraicGeometry.Spec
to speed up the file now and forestall greater slowdowns with the next version of Lean.