Commit 2026-05-01 23:00 4b7e5c1b

View on Github →

refactor(Algebra/QuadraticAlgebra): crush ℚ-algebra diamond (#38818) From FormalConjectures

Estimated changes