Theorem iin1 44592

Description: in1 44591 without virtual deductions. (Contributed by Alan Sare, 23-Jul-2011.) (Proof modification is discouraged.) (New usage is discouraged.)

Hypothesis

Ref	Expression
iin1.1	⊢ (𝜑 → 𝜓)

Assertion

Ref	Expression
iin1	⊢ (𝜑 → 𝜓)

Proof of Theorem iin1

Step	Hyp	Ref	Expression
1		iin1.1	1 ⊢ (𝜑 → 𝜓)

Syntax hints:   → wi 4

This theorem is referenced by:  sspwimp  44938  sspwimpcf  44940  suctrALTcf  44942