def Lean.Expr.fvarsSubset (a b : Expr) : Bool

Returns true if the free variables in a are subset of the free variables in b.