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

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

Equations

• One or more equations did not get rendered due to their size.