Documentation

Lean.Meta.Tactic.LinearArith.Basic

Quick filter for linear terms.

Equations
Instances For

    Quick filter for linear constraints.