WhoCites Definitions mb automata 4 Sections GenAutomata Doc

Who Cites col union?
col_unionDef (i:I. C(i))(x) == i:I. x C(i)
Thm* T,I:Type, C:(ICollection(T)). (i:I. C(i)) Collection(T)
col_member Def x c == c(x)
Thm* T:Type, x:T, c:Collection(T). x c Prop

Syntax:i:I. C(i) has structure: col_union(I; i.C(i))

About:
applyfunctionuniversememberpropallexists!abstraction

WhoCites Definitions mb automata 4 Sections GenAutomata Doc