Delete minus1Trunc.v, close #434

True.  But I wanted something short, because this is probably the main way that people will prove maps to be surjective.  Maybe something like `issurj_inhfib`?