MoreAndNLoneImpBfMoreImpNLone

⊢ more ∧ T ⊃

(more ⊃ T)

Proof:

1	(more ⊃ T) ≡more ⊃ T	BfMoreImpNLoneEqvMoreImpNLone
2	more ∧ T ⊃ (more ⊃ T)	1,Prop

qed

2024-08-03