Commit 2023-01-17 03:10 855b4219

View on Github →

feat: add transparency option to solve_by_elim (#1609)

Estimated changes

Modified Mathlib/Tactic/SolveByElim.lean

modified def Lean.MVarId.applyFirst

Modified test/apply_rules.lean