Definition df-f 42

Description: Define false.

Assertion

Ref	Expression
df-f	0 = 1'

Detailed syntax breakdown of Definition df-f

Step	Hyp	Ref	Expression
1		wf 9	. 2 term 0
2		wt 8	. . 3 term 1
3	2	wn 4	. 2 term 1'
4	1, 3	wb 1	1 wff 0 = 1'

This definition is referenced by:  dff2 94  an1 100  an0 102  1b 111  comm0 172  skr0 236  0i1 267  1i1 268  2vwomlem 351  u1lemnana 631  u2lemnana 632  u4lemnana 634  u1lemnab 636  u2lemnab 637  u3lemnab 638  2oath1 812  oa3-6to3 973  lem3.3.4 1038

Copyright terms: Public domain