No mentions to report in SUPPORTjlc
scomb	Def S(x,y,z) == x(z,y(z))
	Thm* A,B,C:Type. S (ABC)(AB)AC

Syntax:

S

has structure:

scomb

About: