Commit 2022-11-18 04:03 25fc282d

View on Github →

fix: terminationSuffix in lemma command (#637)

Estimated changes

Modified Mathlib/Mathport/Syntax.lean

Modified Mathlib/Tactic/Basic.lean

added def Mathlib.Tactic.expandLemma

Modified lean_packages/manifest.json