Proofgold Proposition

wceq cmsta (cmpt (λ x0 . cvv) (λ x0 . crn (cfv (cv x0) cmsr)))

type
prop

theory
SetMM

name
df_msta

proof
PUaec..

Megalodon
-

proofgold address
TMQRW..

creator
36385 PrCmT../5bcbf..

owner
36385 PrCmT../5bcbf..

term root
41677..