Proofgold Proposition

wceq cprrng (crab (λ x0 . wcel (csn (cfv (cfv (cv x0) c1st) cgi)) (cfv (cv x0) cpridl)) (λ x0 . crngo))

type
prop

theory
SetMM

name
df_prrngo

proof
PUMry..

Megalodon
-

proofgold address
TManj..

creator
36377 PrCmT../84d38..

owner
36377 PrCmT../84d38..

term root
cab4a..