Proofgold Proposition

wceq cpnrm (crab (λ x0 . wss (cfv (cv x0) ccld) (crn (cmpt (λ x1 . co (cv x0) cn cmap) (λ x1 . cint (crn (cv x1)))))) (λ x0 . cnrm))

type
prop

theory
SetMM

name
df_pnrm

proof
PURda..

Megalodon
-

proofgold address
TMX7B..

creator
36257 PrCmT../60bfa..

owner
36257 PrCmT../60bfa..

term root
c208a..