Proofgold Proposition

∀ x0 : ι → ο . wceq (bj_c1upl x0) (cxp (csn c0) (bj_ctag x0))

type
prop

theory
SetMM

name
df_bj_1upl

proof
PUMPg..

Megalodon
-

proofgold address
TMVk1..

creator
36399 PrCmT../734ad..

owner
36399 PrCmT../734ad..

term root
81d07..