Proofgold Proposition

wceq cnmhm (cmpt2 (λ x0 x1 . cnlm) (λ x0 x1 . cnlm) (λ x0 x1 . cin (co (cv x0) (cv x1) clmhm) (co (cv x0) (cv x1) cnghm)))

type
prop

theory
SetMM

name
df_nmhm

proof
PUQGM..

Megalodon
-

proofgold address
TMGYF..

creator
36385 PrCmT../cc999..

owner
36385 PrCmT../cc999..

term root
e136b..