Commit 2025-06-17 12:53 e53b9816

View on Github →

perf(RingTheory/Kaehler/JacobiZariski): reorder universe variables (#26008) Naming of universe variables has an impact on universe unification. It seems to matter that the universe variables of R, S and T appear before the universe variables of the generators in alphabetical order.

Estimated changes