Add present_as_cokernel(::FreeMod) dummy method
#10857
| Job | Run time |
|---|---|
| 1h 36m 19s | |
| 1h 58m 23s | |
| 49m 16s | |
| 29m 52s | |
| 55m 53s | |
| 33m 23s | |
| 33m 53s | |
| 25m 46s | |
| 2h 4m 14s | |
| 9h 26m 59s |