Proofgold Proposition

wceq cnm (cmpt (λ x0 . cvv) (λ x0 . cmpt (λ x1 . cfv (cv x0) cbs) (λ x1 . co (cv x1) (cfv (cv x0) c0g) (cfv (cv x0) cds))))

type
prop

theory
SetMM

name
df_nm

proof
PUNQ5..

Megalodon
-

proofgold address
TMRz9..

creator
36378 PrCmT../25d5b..

owner
36378 PrCmT../25d5b..

term root
daccb..