PrintForm
Definitions
Three
Sections
ClassicalProps(jlc)
Doc
At:
Three
case
wf
1
t:Type{i}, t':Type{j}, t'':Type{k}, c:t, c':t', c'':t''. case 3
: 3
c'; 3
c''; 3
c;
t''
By:
AbReduce 0
Generated subgoals:
None
About:
PrintForm
Definitions
Three
Sections
ClassicalProps(jlc)
Doc
t:Type{i}, t':Type{j}, t'':Type{k}, c:t, c':t', c'':t''. case 3
: 3
c'; 3 c''; 3
c; 
t''