Proofgold Proposition

wceq cpm (cmpt2 (λ x0 x1 . cvv) (λ x0 x1 . cvv) (λ x0 x1 . crab (λ x2 . wfun (cv x2)) (λ x2 . cpw (cxp (cv x1) (cv x0)))))

type
prop

theory
SetMM

name
df_pm

proof
PUQ2W..

Megalodon
-

proofgold address
TMMpK..

creator
36396 PrCmT../213e6..

owner
36396 PrCmT../213e6..

term root
ac374..