Commit 2022-11-01 20:56 f8f7fd59
View on Github →feat: upgrade solve_by_elim (#474) This is still far from feature parity with mathlib3, but at least you can add custom expressions, and omit the local context.
feat: upgrade solve_by_elim (#474) This is still far from feature parity with mathlib3, but at least you can add custom expressions, and omit the local context.