WhoCites
Definitions
mb
collection
Sections
GenAutomata
Doc
Who Cites col
member?
col_member
Def
x
c == c(x)
Thm*
T:Type, x:T, c:Collection(T). x
c
Prop
col_none
Def
< > (x) == False
Thm*
T:Type. < >
Collection(T)
iff
Def
P
Q == (P
Q) & (P
Q)
Thm*
A,B:Prop. (A
B)
Prop
rev_implies
Def
P
Q == Q
P
Thm*
A,B:Prop. (A
B)
Prop
About:
WhoCites
Definitions
mb
collection
Sections
GenAutomata
Doc