Proofgold Proposition

wceq ctg (cmpt (λ x0 . cvv) (λ x0 . cab (λ x1 . wss (cv x1) (cuni (cin (cv x0) (cpw (cv x1)))))))

type
prop

theory
SetMM

name
df_topgen

proof
PUWDt..

Megalodon
-

proofgold address
TMUS6..

creator
36376 PrCmT../6fac4..

owner
36376 PrCmT../6fac4..

term root
83cc7..