Proofgold Proposition

wceq cmnc (cmpt (λ x0 . cpw cc) (λ x0 . crab (λ x1 . wceq (cfv (cfv (cv x1) cdgr) (cfv (cv x1) ccoe)) c1) (λ x1 . cfv (cv x0) cply)))

type
prop

theory
SetMM

name
df_mnc

proof
PUbMc..

Megalodon
-

proofgold address
TMWnh..

creator
36387 PrCmT../cc58a..

owner
36387 PrCmT../cc58a..

term root
7a46b..