Proofgold Proposition

wceq cvtx (cmpt (λ x0 . cvv) (λ x0 . cif (wcel (cv x0) (cxp cvv cvv)) (cfv (cv x0) c1st) (cfv (cv x0) cbs)))

type
prop

theory
SetMM

name
df_vtx

proof
PUbPn..

Megalodon
-

proofgold address
TMPV6..

creator
36387 PrCmT../72e08..

owner
36387 PrCmT../72e08..

term root
e4db9..