Proofgold Proposition

wceq ctmd (crab (λ x0 . wsbc (λ x1 . wcel (cfv (cv x0) cplusf) (co (co (cv x1) (cv x1) ctx) (cv x1) ccn)) (cfv (cv x0) ctopn)) (λ x0 . cin cmnd ctps))

type
prop

theory
SetMM

name
df_tmd

proof
PUVho..

Megalodon
-

proofgold address
TMFWs..

creator
36383 PrCmT../e0295..

owner
36383 PrCmT../e0295..

term root
f97b1..