ord-ax-refl

Theorem.

Arguments:

(coll), (coll),

Assertions:

(()(()()))

Proof:

Hyp	Ref	Line	Expr
	sub-refl	1	()
	sub-refl	2	()
1, 2	>andi	3	(()())
3	ax1	4	(()(()()))