Theorem addcl

Description: Alias for ax-addcl , for naming consistency with addcli . Use this theorem instead of ax-addcl or axaddcl . (Contributed by NM, 10-Mar-2008)

	Ref	Expression
Assertion	addcl	$$⊢\left(A\in ℂ\wedge B\in ℂ\right)\to A+B\in ℂ$$

Proof

Step	Hyp	Ref	Expression
1		ax-addcl	$$⊢\left(A\in ℂ\wedge B\in ℂ\right)\to A+B\in ℂ$$