feat(Algebra/Polynomial): lemmas about modByMonic#37955
Open
artie2000 wants to merge 2 commits intoleanprover-community:masterfrom
Open
feat(Algebra/Polynomial): lemmas about modByMonic#37955artie2000 wants to merge 2 commits intoleanprover-community:masterfrom
modByMonic#37955artie2000 wants to merge 2 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 12, 2026
- committed
- committed
