mathlib3
699e9b08 - fix(tactic/polyrith): fix crash when hypotheses are constant polynomials
Commit
View On GitHub
Commit
3 years ago
fix(tactic/polyrith): fix crash when hypotheses are constant polynomials Also adds support for the case when there are no variables, by working around a bug in Sage.
Author
eric-wieser eric-wieser
Parents
08b57a55
FAQ Terms Privacy Refunds Impressum
Loading