If f is a k-epi, then so is its k-truncation (#916)
#369
| Job | Run time |
|---|---|
| 20m 48s | |
| 20m 48s |
f is a k-epi, then so is its k-truncation (#916)
#369
| Job | Run time |
|---|---|
| 20m 48s | |
| 20m 48s |