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:
universememberall

PrintForm Definitions Three Sections ClassicalProps(jlc) Doc