Proofgold Proposition

wceq cnghm (cmpt2 (λ x0 x1 . cngp) (λ x0 x1 . cngp) (λ x0 x1 . cima (ccnv (co (cv x0) (cv x1) cnmo)) cr))

type
prop

theory
SetMM

name
df_nghm

proof
PUQGM..

Megalodon
-

proofgold address
TMGWU..

creator
36385 PrCmT../32ac3..

owner
36385 PrCmT../32ac3..

term root
b6a4a..