Documentation

Lean.Meta.CollectFVars

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

    For each variable in s.fvarSet, include its dependencies.

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