Commit 2021-09-29 17:02 82407e45
View on Github →feat(Tactic/SolveByElim): minimal implementation (#43)
This is far from feature-parity with mathlib3's SolveByElim
, but has the basic functionality.
I'll add more later.
feat(Tactic/SolveByElim): minimal implementation (#43)
This is far from feature-parity with mathlib3's SolveByElim
, but has the basic functionality.
I'll add more later.