code: def copy(self):
          
          return Eq(
              self._lhs, self._rhs, tag=self._tag,
              _prev_lhs=self._prev_lhs, _prev_rhs=self._prev_rhs,
              _prev_tags=self._prev_tags)
docs: Return a copy of the equation