Proofgold Proposition

wceq crp (crab (λ x0 . wbr cc0 (cv x0) clt) (λ x0 . cr))

type
prop

theory
SetMM

name
df_rp

proof
PUM7X..

Megalodon
-

proofgold address
TMQQ6..

creator
36396 PrCmT../10a2d..

owner
36396 PrCmT../10a2d..

term root
58345..