lhs

open override val lhs: Term
Content copied to clipboard

The left-hand side of the equation