Structure Lean.Meta.RefinedDiscrTree.ExprInfo

Modification history