lhs

open val lhs: Term
Content copied to clipboard

The left-hand side of the equation