Proofgold Proposition

wceq cprb (crab (λ x0 . wceq (cfv (cuni (cdm (cv x0))) (cv x0)) c1) (λ x0 . cuni (crn cmeas)))

type
prop

theory
SetMM

name
df_prob

proof
PURJe..

Megalodon
-

proofgold address
TMXSL..

creator
36388 PrCmT../cad9a..

owner
36388 PrCmT../cad9a..

term root
88829..