PrintForm
Definitions
Three
Sections
ClassicalProps(jlc)
Doc
At:
Three
case
wf
2
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