WhoCites
Definitions
mb
declaration
Sections
GenAutomata
Doc
Who Cites band?
band
Def p
q == if p
q else false
fi
Thm*
p,q:
. (p
q)
Syntax:
p
q
has structure:
band(p; q)
About:
WhoCites
Definitions
mb
declaration
Sections
GenAutomata
Doc
q == if p
q else false fi
p,q:
. (pq) 
q == if p q else false fip,q:. (pq) q
