sub-refl

Theorem.

Arguments:

(coll),

Dummy variables:

(sv),

Distinct variable conditions:

(, ),

Assertions:

()

Proof:

Hyp	Ref	Line	Expr
	id	1	(()())
1	ax-gen	2	(()())
2	df-sub	3	()