Theorem false_and_false_iff_false ≪ | index | src | ≫

\and真值表：\false \and \false \iff \false

theorem false_and_false_iff_false: $ \false \and \false \iff \false $;

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

Axiom use

Logic (ax_mp, ax_1, ax_2, ax_3)