List of theorems referencing the symbol ULT_MEMB1

(32) Theorem 21: [Ultimate members lemma 3] (S •incin Ult_memb1(S)) & (((X in Ult_memb1(S)) & (Y in X)) •imp (Y in Ult_memb1(S)))