homalg-project / HigherHomologicalAlgebra

A GAP framework for categorical homological algebra with special focus on homotopy categories and tilting equivalences
https://homalg-project.github.io/HigherHomologicalAlgebra
5 stars 6 forks source link

ZZ -> zz as ZZ is now a global variable thanks to StandardFF #170

Closed kamalsaleh closed 1 year ago