Closed cokernel closed 11 years ago
This handles #16.
It looks fine. We can go ahead and merge this to master.
This handles #16.