Unnecessary assumptions removed:

GR_CY_1:44
METRIC_6:def 4
ORDINAL2:def 15, 41
ZF_MODEL:def 11, 31
ALGSTR_1:def 17, 41
NET_1:def 11, def 14, def 16
LIMFUNC1:61 
GROUP_4:def 4
BINARI_3:def 1, 35
T_1TOPSP:14
SEQM_3:41, 43
SEQ_4:14
FUNCSDOM:28
AFF_1:32 
MSUALG_4:def 22
SGRAPH1:def 11, 39
MEASURE7:10
UNIALG_3:5
FINSEQ_6:84 
WEIERSTR:def 7 -- def 12
COHSP_1:44, 95
TREES_A:17 
QC_LANG4:8
CQC_THE1:def 4
RPR_1:7, 11, 14, 27
ANPROJ_1:def 6, 30
ANPROJ_2:10, 17
RFUNCT_2:16, 17
ANALMETR:28, 30  
PREPOWER:def 4, 44, 45, def 5, def 7
COMPLSP1:95
SUPINF_2:def 5, def 23, def 24
PROJRED1:8
ANALTRAP:44, 46   
AFF_4:35
PRELAMB:def 16
EUCLMETR:22  
SERIES_1:def 3
BHSP_2: def 5, def 6, def 7, 40, 41, 43, 44, 45, 46, 47, 48, 50, 51, 52, 53, 
        54, 55, 56
ANALORT:def 1, def 2, 54, 55
LMOD_7:10, def 4, 11, def 7, 15
MATRIX_3:def 3
COMSEQ_1:22, 38, 46
E_SIEC:def 9
S_SIEC:def 9
MEASURE3:3, 4
MEASURE6:def 3
BHSP_4:def 3
TOPREAL3:36, 37
WSIERP_1:29 
GRAPH_3:16 
MSSCYC_1:4  
GOBRD11:4, 5  
GCD_1:def 18
JORDAN3:28, 54
FUNCT_3:80

TOPMETR:def 8, 5  
TOPS_2:38, 41, 46, 47, 48, 50
CONNSP_1:16, 19, 20, 21, 24, 25, 39
PRE_TOPC:1
CONNSP_3:def 5, def 6
TEX_2:23
JORDAN1:1