Proofgold Proposition

wceq ct1 (crab (λ x0 . wral (λ x1 . wcel (csn (cv x1)) (cfv (cv x0) ccld)) (λ x1 . cuni (cv x0))) (λ x0 . ctop))

type
prop

theory
SetMM

name
df_t1

proof
PUdSP..

Megalodon
-

proofgold address
TMJZQ..

creator
36353 PrCmT../3a54b..

owner
36353 PrCmT../3a54b..

term root
54b77..