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