API REFERENCE
Bibliography
Further info
libsemigroups::TropicalMinPlusSemiring::
::
TropicalMinPlusSemiring
Default constructor.