https://github.com/homalg-project/homalg_project
Revision 1260d01c717037159df0fa20f5af59664ec92404 authored by Mohamed Barakat on 01 September 2023, 09:09:02 UTC, committed by Mohamed Barakat on 01 September 2023, 15:50:50 UTC
see https://github.com/gap-system/PackageDistro/pull/821#issuecomment-1702262330
1 parent c76e9ab
History
Tip revision: 1260d01c717037159df0fa20f5af59664ec92404 authored by Mohamed Barakat on 01 September 2023, 09:09:02 UTC
renamed variable ZZ -> zz in the tested documentation examples
Tip revision: 1260d01

README.md

back to top