Proofgold Proposition

wceq cold (cmpt (λ x0 . con0) (λ x0 . cuni (cima cmade (cv x0))))

type
prop

theory
SetMM

name
df_old

proof
PUboD..

Megalodon
-

proofgold address
TMYBT..

creator
36378 PrCmT../da143..

owner
36378 PrCmT../da143..

term root
7f013..