Inductive Lean.Meta.RefinedDiscrTree.StackEntry

Modification history