Def Mathlib.Tactic.applyRules

Modification history

2023-01-09 15:05
Mathlib/Tactic/ApplyRules.lean
feat: refactor of solve_by_elim (#856) …
Deleted Mathlib.Tactic.applyRulesView on Github →
2022-10-17 23:07
Mathlib/Tactic/ApplyRules.lean
feat: port apply_rules from mathlib3 (#412)
Added Mathlib.Tactic.applyRulesView on Github →