Theorem true_and_true_iff_true ≪ | index | src | ≫

\and真值表：\true \and \true \iff \true

theorem true_and_true_iff_true: $ \true \and \true \iff \true $;

Step	Hyp	Ref	Expression
1		and_unify	\true \and \true \iff \true

Axiom use

Logic (ax_mp, ax_1, ax_2, ax_3)