Skip to content

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

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

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

follow reviewer's suggestions

9560b81
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jul 7, 2026 in 1m 22s