Do something to get rid of these three lines - Githubissues

homalg-project / CategoricalTowers

Towers of category constructors

GNU General Public License v2.0

6 stars 4 forks source link

Do something to get rid of these three lines #581

Open kamalsaleh opened 1 month ago

kamalsaleh commented 1 month ago

https://github.com/homalg-project/CategoricalTowers/blob/3cef36c966259ba4923badaeeba0f937595a451e/FpCategories/gap/PathCategories.gi#L1079-L1083

mohamed-barakat commented 1 month ago

Yes, that would be nice :)