Proofgold Proposition

wceq czr (cmpt (λ x0 . cvv) (λ x0 . co (cv x0) (crn (cfv (cv x0) czrh)) citr))

type
prop

theory
SetMM

name
df_zrng

proof
PUcix..

Megalodon
-

proofgold address
TMbNM..

creator
36378 PrCmT../75856..

owner
36378 PrCmT../75856..

term root
bfc4b..