Theorem merge 125

Description: Combine ⅋ statements by a single term.

Assertion

Ref	Expression
merge	⊦ (((𝜑 ⅋ 𝜓) ⊗ (𝜒 ⅋ 𝜃)) ⊸ ((𝜑 ⅋ (𝜓 ⊗ 𝜒)) ⅋ 𝜃))

Proof of Theorem merge

Step	Hyp	Ref	Expression

Syntax hints:   ⅋ wmd 2   ⊸ wli 61   ⊗ wmc 105

 WARNING: This theorem has an incomplete proof.

This theorem is referenced by: (None)