Theorem iin1 42192

Description: in1 42191 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  42538  sspwimpcf  42540  suctrALTcf  42542