Structure Lean.Meta.RefinedDiscrTree.LazyEntry

Modification history