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.