Proofgold Proposition

wceq cpg (csetrecs (cmpt (λ x0 . cvv) (λ x0 . cxp (cpw (cv x0)) (cpw (cv x0)))))

type
prop

theory
SetMM

name
df_pg

proof
PUVbx..

Megalodon
-

proofgold address
TMFh3..

creator
36378 PrCmT../7cdb9..

owner
36378 PrCmT../7cdb9..

term root
1f396..