Number of references to transitivity-like theorems

XXREAL_0:2	12601
XBOOLE_1:1	3162
ORDERS_2:3	319
ORDINAL1:10	235
LATTICES:7	97
NAT_D:4		70
INT_2:9		44
WELLORD2:15	44
PBOOLE:13	43
BORSUK_6:79	31
BORSUK_3:3	28
BORSUK_6:42	19
ARYTM_1:3	18
XBOOLE_1:56	16
ARYTM_3:67	12
MODELC_2:35	12
EC_PF_1:44	11
FUNCTOR2:2	10
NATTRA_1:23	10
AUTALG_1:10	7
WELLORD1:42	6
ORDERS_2:5	5
WAYBEL_1:7	5
ANPROJ_1:2	4
NATTRA_1:29	4
NORMFORM:2	4
QC_LANG2:57	4
SETFAM_1:17	4
GROUP_3:77	3
GROUP_6:67	3
NATTRA_1:18	3
ORDINAL4:37	3
DIST_1:6	2
FUNCTOR2:8	2
GCD_1:2		2
QC_LANG1:21	2
UNIALG_2:2	2
FUNCTOR3:33	1
GCD_1:4		1
NECKLACE:12	1
OSALG_1:2	1
PRE_POLY:42	1
YELLOW_4:7	1
ZF_LANG:64	1
ZF_LANG:65	1

total           16855