Proofgold Proposition

wceq csdrg (cmpt (λ x0 . cdr) (λ x0 . crab (λ x1 . wcel (co (cv x0) (cv x1) cress) cdr) (λ x1 . cfv (cv x0) csubrg)))

type
prop

theory
SetMM

name
df_sdrg

proof
PUQPq..

Megalodon
-

proofgold address
TMNn2..

creator
36399 PrCmT../15207..

owner
36399 PrCmT../15207..

term root
850a6..