PrintForm
Definitions
mb
collection
Sections
GenAutomata
Doc
At:
member
col
filter
T:Type, f:(T
Prop), c:Collection(T), x:T. x
< i
c | f(i) >
x
c & f(x)
By:
RW ColMemberC 0
Generated subgoals:
None
About:
PrintForm
Definitions
mb
collection
Sections
GenAutomata
Doc
T:Type, f:(T
Prop), c:Collection(T), x:T. x 
< i c | f(i) > 
x c & f(x)