PrintForm
Definitions
choice
1
Sections
AutomataTheory
Doc
At:
decide
imp
bool
1
1
1.
T:
Type
2.
R:
T
T
Prop
3.
x,y:T. Dec(x R y)
x:T.
y:(T
).
z:T. y(z)
(x R z)
By:
Analyze 0
Generated subgoal:
1
4.
x:
T
y:(T
).
z:T. y(z)
(x R z)
About:
y:(T
). 
z:T. y(z) 
(x R z)TPropx,y:T. Dec(x R y) x:T. y:(T). z:T. y(z) (x R z) y:(T). z:T. y(z) (x R z)
