Delete minus1Trunc.v, close #434

Is there a reason to use `equiv_tr A` here rather than `tr A`?