Def Lean.Meta.RefinedDiscrTree.MkDTExpr.getIgnores

Modification history