environ
vocabularies HIDDEN, NUMBERS, VALUED_0, FUNCT_1, COMPLEX1, ARYTM_1, XXREAL_0, ARYTM_3, CARD_1, NAT_1, TARSKI, RELAT_1, XBOOLE_0, SERIES_1, SEQ_2, SEQ_1, FUNCOP_1, SUBSET_1, PRE_TOPC, ORDINAL2, CARD_3, POWER, REAL_1, PREPOWER, NEWTON, VALUED_1, SEQFUNC, PBOOLE, PARTFUN1, RCOMP_1, SETFAM_1, STRUCT_0, TOPMETR, LIMFUNC1, TOPS_2, XXREAL_1, TMAP_1, METRIC_1, FUNCT_2, PSCOMP_1, TIETZE, FUNCT_7, ASYMPT_1;
notations HIDDEN, TARSKI, XBOOLE_0, SUBSET_1, ORDINAL1, XCMPLX_0, NUMBERS, XXREAL_0, XREAL_0, COMPLEX1, REAL_1, NAT_1, NEWTON, PREPOWER, POWER, RELAT_1, FUNCT_1, RELSET_1, PARTFUN1, VALUED_0, VALUED_1, SEQ_1, SEQ_2, FUNCT_2, FUNCOP_1, SERIES_1, LIMFUNC1, RCOMP_1, SEQFUNC, STRUCT_0, PRE_TOPC, TOPS_2, BORSUK_1, TOPMETR, TSEP_1, TMAP_1, PSCOMP_1, TOPREALB, METRIC_1;
definitions TARSKI, XBOOLE_0, SEQFUNC, PRE_TOPC, BORSUK_1, COMPTS_1;
theorems PRE_TOPC, RCOMP_1, XBOOLE_0, TARSKI, FUNCT_1, RELAT_1, TOPREALB, URYSOHN3, TSEP_1, JGRAPH_5, TOPREALA, TOPMETR, ABSVALUE, FUNCT_2, XREAL_1, TOPS_2, SEQ_1, TMAP_1, TOPS_1, XBOOLE_1, FUNCOP_1, NEWTON, GRFUNC_1, RFUNCT_1, SEQFUNC, METRIC_1, GOBOARD6, RSSPACE, SEQ_2, SEQ_4, XCMPLX_1, SERIES_1, COMPLEX1, XCMPLX_0, ORDINAL1, POWER, PREPOWER, NAT_1, UNIFORM1, MESFUNC1, RELSET_1, XXREAL_0, VALUED_0, VALUED_1, XXREAL_1, JORDAN5A;
schemes NAT_1, RECDEF_1, FUNCT_2;
registrations XBOOLE_0, SUBSET_1, FUNCT_1, ORDINAL1, RELSET_1, FUNCT_2, NUMBERS, XXREAL_0, XREAL_0, MEMBERED, NEWTON, FCONT_3, STRUCT_0, PRE_TOPC, METRIC_1, BORSUK_1, TOPMETR, TOPREALB, VALUED_0, VALUED_1, SEQ_4, RELAT_1, TMAP_1, PARTFUN4, SERIES_1, SEQ_1, SEQ_2, NAT_1;
constructors HIDDEN, PROB_1, LIMFUNC1, NEWTON, PREPOWER, SERIES_1, TMAP_1, TOPREALB, PARTFUN3, SEQFUNC, MEASURE6, PCOMPS_1, PSCOMP_1, WAYBEL18, COMSEQ_2, REAL_1, URYSOHN3, SUPINF_2, SEQ_1;
requirements HIDDEN, BOOLE, SUBSET, NUMERALS, REAL, ARITHM;
equalities STRUCT_0, LIMFUNC1, PROB_1;
expansions TARSKI, XBOOLE_0, SEQFUNC, BORSUK_1;