feat(Algebra/MvPolynomial): add monomial prod lemma#38322
Open
NoahW314 wants to merge 1 commit intoleanprover-community:masterfrom
Open
feat(Algebra/MvPolynomial): add monomial prod lemma#38322NoahW314 wants to merge 1 commit intoleanprover-community:masterfrom
NoahW314 wants to merge 1 commit intoleanprover-community:masterfrom
Commits
Commits on Apr 21, 2026
- committed
