eq

infix fun Term.eq(that: Term): Equation
Content copied to clipboard

Creates an equation with this and that terms