Delete minus1Trunc.v, close #434

This seems like a poor name for the theorem, especially given that `issurj` used to mean "is a surjection".