Proofgold Proposition

wceq ccbn (crab (λ x0 . wcel (cfv (cv x0) cims) (cfv (cfv (cv x0) cba) cms)) (λ x0 . cnv))

type
prop

theory
SetMM

name
df_cbn

proof
PUZX6..

Megalodon
-

proofgold address
TMchZ..

creator
36383 PrCmT../89e6d..

owner
36383 PrCmT../89e6d..

term root
e8ed0..