Delete minus1Trunc.v, close #434

Oh.  I assumed that the `hfib` part was `hfiber`.  Still, I'm fine with `issurj_inhfib` or `issurj_easy` or `BuildIsSurjection`.