Proofgold Proposition

wceq ccms (crab (λ x0 . wsbc (λ x1 . wcel (cres (cfv (cv x0) cds) (cxp (cv x1) (cv x1))) (cfv (cv x1) cms)) (cfv (cv x0) cbs)) (λ x0 . cmt))

type
prop

theory
SetMM

name
df_cms

proof
PUa4n..

Megalodon
-

proofgold address
TMUAd..

creator
36386 PrCmT../5183c..

owner
36386 PrCmT../5183c..

term root
15a2a..