Proofgold Proposition

wceq cprime (crab (λ x0 . wbr (crab (λ x1 . wbr (cv x1) (cv x0) cdvds) (λ x1 . cn)) c2o cen) (λ x0 . cn))

type
prop

theory
SetMM

name
df_prm

proof
PUQy1..

Megalodon
-

proofgold address
TMZti..

creator
36378 PrCmT../fbdff..

owner
36378 PrCmT../fbdff..

term root
37f24..