rhs : term -> term
STRUCTURE
SYNOPSIS
Returns the right-hand side of an equation.
DESCRIPTION
If M has the form t1 = t2 then rhs M returns t2.
FAILURE
Fails if term is not an equality.
SEEALSO
HOL  Trindemossen-1