Proofgold Proposition

wceq cmst (cmpt (λ x0 . cvv) (λ x0 . cres (co c0 c0 (cfv (cv x0) cmtree)) (cres (cfv (cv x0) cmex) (cfv (cv x0) cmvt))))

type
prop

theory
SetMM

name
df_mst

proof
PUaec..

Megalodon
-

proofgold address
TMNie..

creator
36385 PrCmT../6fed1..

owner
36385 PrCmT../6fed1..

term root
576aa..