Proofgold Proposition

wceq cdp (cmpt2 (λ x0 x1 . cn0) (λ x0 x1 . cr) (λ x0 x1 . cdp2 (cv x0) (cv x1)))

type
prop

theory
SetMM

name
df_dp

proof
PUeuA..

Megalodon
-

proofgold address
TMPYb..

creator
36386 PrCmT../9f75b..

owner
36386 PrCmT../9f75b..

term root
92b49..