Proofgold Proposition

wceq cringc (cmpt (λ x0 . cvv) (λ x0 . co (cfv (cv x0) cestrc) (cres crh (cxp (cin (cv x0) crg) (cin (cv x0) crg))) cresc))

type
prop

theory
SetMM

name
df_ringc

proof
PUeJx..

Megalodon
-

proofgold address
TMZSp..

creator
36384 PrCmT../a1a45..

owner
36384 PrCmT../a1a45..

term root
b7358..