Function: forget (<pred_1>, ..., <pred_n>)
Function: forget (<L>) Removes predicates established by
assume. The predicates may be expressions equivalent to (but not necessarily identical to) those previously assumed.
forget (<L>), where <L> is a list of predicates, forgets each item on the list.
There are also some inexact matches for
?? forget to see them.
(%o1) true (%i2)