Proofgold Proposition

wceq cmthm (cmpt (λ x0 . cvv) (λ x0 . cima (ccnv (cfv (cv x0) cmsr)) (cima (cfv (cv x0) cmsr) (cfv (cv x0) cmpps))))

type
prop

theory
SetMM

name
df_mthm

proof
PUaec..

Megalodon
-

proofgold address
TMbMT..

creator
36385 PrCmT../c70e3..

owner
36385 PrCmT../c70e3..

term root
62a65..