mb
collection
Sections
GenAutomata
Doc
Def
< > (x) == False
is mentioned by
Thm*
c:Collection(T). < >
c
[col_none_le]
Thm*
T:Type{i'}, x:T. x
< >
False
[member_col_none]
Try larger context:
GenAutomata
mb
collection
Sections
GenAutomata
Doc
c:Collection(T). < > 
cT:Type{i'}, x:T. x 
< > 
Falsec:Collection(T). < > cT:Type{i'}, x:T. x < > False