proposition: Lemma le13_trans T0 T1 T2 T3 T4 T5 T6 T7 T8 T9 T10 T11 T12(r0 r1 r2 : rel13 T0 T1 T2 T3 T4 T5 T6 T7 T8 T9 T10 T11 T12) (LE0 : r0 <13== r1) (LE1 : r1 <13== r2) : r0 <13== r2.
proof: Proof. do 13 intro. intros H. eapply LE1, LE0, H. Qed.
imports: Paco(paconotation)