Def Mathlib.Tactic.expandLemma

Modification history

2024-01-17 12:06
Mathlib/Tactic/Basic.lean
chore: refactor of Algebra/Group/Defs to reduce imports (#9606) …
Deleted Mathlib.Tactic.expandLemmaView on Github →
2022-11-18 04:03
Mathlib/Tactic/Basic.lean
fix: terminationSuffix in `lemma` command (#637)
Added Mathlib.Tactic.expandLemmaView on Github →