List of theorems referencing the symbol SUBSEQS

(389) Theorem 334: ((F in Fin_seqs(S)) & (G in Subseqs(F))) •imp ((G in Fin_seqs(S)) & (domain(G) in next(domain(F))))
(390) Theorem 335: (M in Za) •imp (shifted_seq(F,M) in Subseqs(F))
(681) Theorem 530: ((F in RaCauchy) & (G in Subseqs(F)) & (not Finite(G))) •imp ((G in RaCauchy) & Ra_eqseq(F,G))