Proofgold Proposition

wceq ctch (cmpt (λ x0 . cvv) (λ x0 . co (cv x0) (cmpt (λ x1 . cfv (cv x0) cbs) (λ x1 . cfv (co (cv x1) (cv x1) (cfv (cv x0) cip)) csqrt)) ctng))

type
prop

theory
SetMM

name
df_tch

proof
PUa4n..

Megalodon
-

proofgold address
TMXwJ..

creator
36386 PrCmT../c44ab..

owner
36386 PrCmT../c44ab..

term root
3a4d6..