Commit 2024-03-02 20:05 e6232b7c
View on Github →feat: add lemma prod_X_pow_eq_monomial (#11109) Adds lemma about product of variables equalling a monomial
feat: add lemma prod_X_pow_eq_monomial (#11109) Adds lemma about product of variables equalling a monomial