plus-.formula_hal9001 function

HAL Formula addition: Adding formula term object together into a single formula object term.

  • Maintainer: Jeremy Coyle
  • License: GPL-3
  • Last published: 2023-11-14