Proofgold Proposition

wceq cmvt (cmpt (λ x0 . cvv) (λ x0 . crn (cfv (cv x0) cmty)))

type
prop

theory
SetMM

name
df_mvt

proof
PUNz5..

Megalodon
-

proofgold address
TMWfB..

creator
36386 PrCmT../185a3..

owner
36386 PrCmT../185a3..

term root
f5f52..