Structure Lean.Expr.LiftLetsConfig

Modification history