Remove occurrences of QuiverRows

homalg-project / LazyCategories

[READ-ONLY-SUBSPLIT] Construct an equivalent lazy category out of a CAP category

GNU General Public License v2.0

0 stars 2 forks source link

Closed zickgraf closed 2 years ago

zickgraf commented 2 years ago

SnakeInAdditive is equivalent to SnakeInAdditiveClosureOfAlgebroid
SnakeInAdditivePrimitive is equivalent to the newly introduced SnakeInAdditiveClosureOfAlgebroidPrimitive

mohamed-barakat commented 2 years ago

I forgot to await the code coverage before merging, sorry.