Skip to content

feat: add Wanted statement for the classification of root systems - #43068

Open
ocfnash wants to merge 2 commits into
leanprover-community:masterfrom
ocfnash:ocfnash/rs_class
Open

feat: add Wanted statement for the classification of root systems#43068
ocfnash wants to merge 2 commits into
leanprover-community:masterfrom
ocfnash:ocfnash/rs_class

Merge branch 'master' into ocfnash/rs_class

e1cd5cd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view