Def Lean.Meta.DiscrTree.keysSpecific

Modification history

2023-12-02 00:33

Mathlib/Lean/Meta/DiscrTree.lean

fix: nonspecific lemmas are poisoning apply? (#8764) …

Added Lean.Meta.DiscrTree.keysSpecific View on Github →