Skip to content

feat(Combinatorics): add classification of root systems - #514

Closed
ocfnash wants to merge 2 commits into
leanprover:mainfrom
ocfnash:ocfnash/cors
Closed

feat(Combinatorics): add classification of root systems#514
ocfnash wants to merge 2 commits into
leanprover:mainfrom
ocfnash:ocfnash/cors

Drop comment about `Nonempty ι` since as Claude notes, this follows f…

8b14455
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
verify
succeeded Aug 11, 2026 in 5h 8m 33s