Proofgold Proposition

wceq cdr (crab (λ x0 . wceq (cfv (cv x0) cui) (cdif (cfv (cv x0) cbs) (csn (cfv (cv x0) c0g)))) (λ x0 . crg))

type
prop

theory
SetMM

name
df_drng

proof
PUgy2..

Megalodon
-

proofgold address
TMLuV..

creator
36386 PrCmT../58c0f..

owner
36386 PrCmT../58c0f..

term root
90cd6..