Proofgold Proposition

wceq ccntr (cmpt (λ x0 . cvv) (λ x0 . cfv (cfv (cv x0) cbs) (cfv (cv x0) ccntz)))

type
prop

theory
SetMM

name
df_cntr

proof
PUJoj..

Megalodon
-

proofgold address
TMQga..

creator
36388 PrCmT../299e6..

owner
36388 PrCmT../299e6..

term root
6b091..