Skip to content
GitLab
Explore
Sign in
Gonzalo Tornaria
modularity
Repository
modularity
GrpExt.m
Find file
Blame
History
Permalink
GrpExt: fix bug in computation of gmodule action
· 8e585994
Gonzalo Tornaría
authored
Aug 22, 2020
NOTE: this is not used in proving modularity
8e585994