Skip to content

fix: process delayed assignment metavariables correctly in Lean.Meta.Closure #7683

fix: process delayed assignment metavariables correctly in Lean.Meta.Closure

fix: process delayed assignment metavariables correctly in Lean.Meta.Closure #7683