Proofgold Proposition

wceq ctopmgmhom (cmpt2 (λ x0 x1 . ctmd) (λ x0 x1 . ctmd) (λ x0 x1 . cin (co (cv x0) (cv x1) ctophom) (co (cv x0) (cv x1) cmgmhom)))

type
prop

theory
SetMM

name
df_bj_topmgmhom

proof
PUMPg..

Megalodon
-

proofgold address
TMKae..

creator
36399 PrCmT../2f534..

owner
36399 PrCmT../2f534..

term root
42a81..