feat(Algebra/Polynomial): lemmas about polynomial degree#37956
Open
artie2000 wants to merge 3 commits intoleanprover-community:masterfrom
Open
feat(Algebra/Polynomial): lemmas about polynomial degree#37956artie2000 wants to merge 3 commits intoleanprover-community:masterfrom
artie2000 wants to merge 3 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 12, 2026
- committed
- committed
- authored
