Proofgold Proposition

wceq cnew (cmpt (λ x0 . con0) (λ x0 . cdif (cfv (cv x0) cold) (cfv (cv x0) cmade)))

type
prop

theory
SetMM

name
df_new

proof
PUboD..

Megalodon
-

proofgold address
TMFkd..

creator
36378 PrCmT../be037..

owner
36378 PrCmT../be037..

term root
f444a..