Proofgold Proposition

wceq cpfx (cmpt2 (λ x0 x1 . cvv) (λ x0 x1 . cn0) (λ x0 x1 . co (cv x0) (cop cc0 (cv x1)) csubstr))

type
prop

theory
SetMM

name
df_pfx

proof
PUYnf..

Megalodon
-

proofgold address
TMKD8..

creator
36378 PrCmT../64719..

owner
36378 PrCmT../64719..

term root
8feca..