Defines a list object composed of formulas. The purpose of this
class of object is to impose structure of the list to ensure that it
can be used to obtain RHS-LHS pairs and will be able to be
parsed in domir.
Defines a list object composed of formulas. The purpose of this
class of object is to impose structure of the list to ensure that it
can be used to obtain RHS-LHS pairs and will be able to be
parsed in domir.