Proofgold Proposition

wceq cn (cima (crdg (cmpt (λ x0 . cvv) (λ x0 . co (cv x0) c1 caddc)) c1) com)

type
prop

theory
SetMM

name
df_nn

proof
PUSmC..

Megalodon
-

proofgold address
TMTa2..

creator
36397 PrCmT../37ace..

owner
36397 PrCmT../37ace..

term root
b13b0..