Proofgold Proposition

wceq cm0s (cmpt (λ x0 . cvv) (λ x0 . cotp c0 c0 (cv x0)))

type
prop

theory
SetMM

name
df_m0s

proof
PUaec..

Megalodon
-

proofgold address
TMN71..

creator
36385 PrCmT../ea059..

owner
36385 PrCmT../ea059..

term root
4e631..