CoCalc -- PredicateImplicationsForCategoriesEnrichedOverCommutativeRegularSemigroups.tex

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

⁵⁶³⁶¹⁹ views

1

2