Theorem true_or_true_iff_true ≪ | index | src | ≫

\or真值表：\true \or \true \iff \true

theorem true_or_true_iff_true: $ \true \or \true \iff \true $;

Step	Hyp	Ref	Expression
1		or_unify	\true \or \true \iff \true

Axiom use

Logic (ax_mp, ax_1, ax_2, ax_3)