List of theorems referencing the symbol MEMBS_X

(31) Theorem 20: [Ultimate members of the basic infinite set] (X in s_inf) •imp (membs_x(S,{X}) = membs_x(S,X) + Un(membs_x(S,X)))