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

Syntax:

K

has structure:

kcomb

About: