A map is a k-epi iff its codiagonal is a k-equivalence (#918)
#373
| Job | Run time |
|---|---|
| 26m 20s | |
| 26m 20s |
k-epi iff its codiagonal is a k-equivalence (#918)
#373
| Job | Run time |
|---|---|
| 26m 20s | |
| 26m 20s |