PrintForm Definitions mb collection Sections GenAutomata Doc

At: member col union

I,T:Type, C:(ICollection(T)), x:T. x i:I. C(i) (i:I. x C(i))
By: RW ColMemberC 0
Generated subgoals:

None

About:
functionuniverseallexists

PrintForm Definitions mb collection Sections GenAutomata Doc