Proofgold Proposition

wceq czrh (cmpt (λ x0 . cvv) (λ x0 . cuni (co zring (cv x0) crh)))

type
prop

theory
SetMM

name
df_zrh

proof
PUMpC..

Megalodon
-

proofgold address
TMVTA..

creator
36377 PrCmT../75759..

owner
36377 PrCmT../75759..

term root
d4ee4..