Proofgold Proposition

wceq csgn (cmpt (λ x0 . cxr) (λ x0 . cif (wceq (cv x0) cc0) cc0 (cif (wbr (cv x0) cc0 clt) (cneg c1) c1)))

type
prop

theory
SetMM

name
df_sgn

proof
PUWCs..

Megalodon
-

proofgold address
TMFFB..

creator
36397 PrCmT../05754..

owner
36397 PrCmT../05754..

term root
29e90..