Proofgold Proposition

wceq chs (crab (λ x0 . wceq (cdm (cfv (cv x0) cpj)) (cfv (cv x0) ccss)) (λ x0 . cphl))

type
prop

theory
SetMM

name
df_hil

proof
PUTDz..

Megalodon
-

proofgold address
TMLu2..

creator
36386 PrCmT../c1509..

owner
36386 PrCmT../c1509..

term root
f2cf7..