Skip to content

feat(Algebra/Lie): grading on loop algebras#38594

Open
ScottCarnahan wants to merge 14 commits into
leanprover-community:masterfrom
ScottCarnahan:ScottCarnahan/GradedLoop
Open

feat(Algebra/Lie): grading on loop algebras#38594
ScottCarnahan wants to merge 14 commits into
leanprover-community:masterfrom
ScottCarnahan:ScottCarnahan/GradedLoop

Commits

Commits on May 8, 2026

Commits on May 27, 2026

Commits on Jul 3, 2026