API REFERENCE
Bibliography
Further info
libsemigroups::TropicalMinPlusSemiring::
::
plus
Returns the minimum of the parameters.