Delete minus1Trunc.v, close #434

I'm fine with `issurj_inhfib`.  I'm curious, though, what does the `in` stand for/mean here?