chore(Algebra.Polynomial): split Polynomial/Basic.lean into smaller files#19097
Open
Vierkantor wants to merge 15 commits intomasterfrom split-Polynomial.Basic
+3,109-2,500
Commits
Commits on Nov 29, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
