https://github.com/homalg-project/homalg_project
Revision 90d3b2dec02cb86b1f1a18c8c70be89e5f61e3c8 authored by Mohamed Barakat on 26 May 2017, 20:34:17 UTC, committed by Mohamed Barakat on 26 May 2017, 20:34:17 UTC
1 parent 34e305b
History
Tip revision: 90d3b2dec02cb86b1f1a18c8c70be89e5f61e3c8 authored by Mohamed Barakat on 26 May 2017, 20:34:17 UTC
installed String for IsHomalgRing
Tip revision: 90d3b2d

back to top