Theorem iin1 40899

Description: in1 40898 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  41245  sspwimpcf  41247  suctrALTcf  41249