Skip to content

feat(Algebra/QuadraticAlgebra): quadratic orders over ℤ and their fraction ring - #42711

Open
xroblot wants to merge 19 commits into
leanprover-community:masterfrom
xroblot:quadratic-algebra-fraction-ring
Open

feat(Algebra/QuadraticAlgebra): quadratic orders over ℤ and their fraction ring#42711
xroblot wants to merge 19 commits into
leanprover-community:masterfrom
xroblot:quadratic-algebra-fraction-ring

Commits

Commits on Jul 27, 2026

Commits on Jul 28, 2026

Commits on Jul 29, 2026

Commits on Jul 31, 2026

Commits on Aug 2, 2026

Commits on Aug 12, 2026

Commits on Aug 13, 2026

Commits on Aug 15, 2026

Commits on Aug 21, 2026