Mathlib v3 is deprecated. Go to Mathlib v4

Inductive polyrith.poly

Modification history

2022-07-12 03:56
src/tactic/polyrith.lean
feat(tactic/polyrith): a tactic using Sage to solve polynomial equalities with hypotheses (#14878) …
Added polyrith.polyView on Github →