No mentions to report in SUPPORTjlc
kcomb	Def K(x,y) == x
	Thm* A,B:Type. K ABA

Syntax:

K

has structure:

kcomb

About: