GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
gap4r8 / pkg / CAP-2017.09.25 / LogicForCategories / PredicateImplicationsForPreabelianCategories.tex
563690 views
GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it