add stabilizer for G-sets w.r.t. derived actions
#15745
| Job | Run time |
|---|---|
| 12m 17s | |
| 12m 17s |
stabilizer for G-sets w.r.t. derived actions
#15745
| Job | Run time |
|---|---|
| 12m 17s | |
| 12m 17s |