rhs

open val rhs: Term
Content copied to clipboard

The right-hand side of the equation