[Merged by Bors] - fix(Tactic/Polyrith): fix crash when hypotheses are constant polynomials#7586
Closed
eric-wieser wants to merge 3 commits intomasterfrom eric-wieser/fix-polyrith
Commits
Commits on Oct 9, 2023
Commits on Oct 17, 2023
Commits on Oct 18, 2023
- committed