idd

Theorem. Principle of identity with antecedent.

Arguments:

(pr), (pr),

Assertions:

(())

Proof:

Hyp	Ref	Line	Expr
	id	1	()
1	ax1	2	(())