Theorem iin1 42081

Description: in1 42080 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  42427  sspwimpcf  42429  suctrALTcf  42431