Proofgold Proposition

wceq cui (cmpt (λ x0 . cvv) (λ x0 . cima (ccnv (cin (cfv (cv x0) cdsr) (cfv (cfv (cv x0) coppr) cdsr))) (csn (cfv (cv x0) cur))))

type
prop

theory
SetMM

name
df_unit

proof
PUhPT..

Megalodon
-

proofgold address
TMYNn..

creator
36376 PrCmT../38376..

owner
36376 PrCmT../38376..

term root
e4395..