equiv
Top-level context.
Equivalence relations.
Description:
Prove the various transitivity theorems once and for all.
Theorems:
Name
Comment
2trd
2tri
<2trd
<2trd-r
<2trg
<2tri
<2tri-r
>2trd
>2trg
>2tri
>2tri-r
com
eqneqd
eqneqi
eqt<
eqt<>
eqt<>d
eqt<>d2
eqt<>d2r
eqt<>i
eqt<n
eqt>
eqt>n
neqcom
refl<
refl>
rp-1<
rp-1<r
rp-1>
rp-1>r
rp-2<
rp-2<r
rp-2>
rp-2>r
tr-an
tr-an<
tr-an>
tr<
trd
trd-2
trd-2r
trd-r
trd<
trd>
tri
tri-r
tri<
tri>