subgroup_group iso lemmas and all trivial subgroups are iso
#3273
| Job | Run time |
|---|---|
| 2m 24s | |
| 2m 29s | |
| 2m 28s | |
| 2m 30s | |
| 2m 28s | |
| 2m 28s | |
| 2m 28s | |
| 2m 28s | |
| 2m 27s | |
| 2m 29s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 4s | |
| 24m 50s |