Def expandLemma

Modification history

2024-01-17 12:06
Mathlib/Tactic/Lemma.lean
chore: refactor of Algebra/Group/Defs to reduce imports (#9606) …
Added expandLemmaView on Github →