Proofgold Proposition

wceq cmopn (cmpt (λ x0 . cuni (crn cxmt)) (λ x0 . cfv (crn (cfv (cv x0) cbl)) ctg))

type
prop

theory
SetMM

name
df_mopn

proof
PUMpC..

Megalodon
-

proofgold address
TMXMe..

creator
36377 PrCmT../267e9..

owner
36377 PrCmT../267e9..

term root
8c3dd..