CAP_project
CAP_project copied to clipboard
Update todo for GradedModulesForFreyd
After the changes summarized in https://github.com/homalg-project/CAP_project/pull/363, I update the todo-list of GradedModulesByFreyd.