Proofgold Proposition

∀ x0 : ι → ο . wceq (bj_ctag x0) (cun (bj_csngl x0) (csn c0))

type
prop

theory
SetMM

name
df_bj_tag

proof
PUMPg..

Megalodon
-

proofgold address
TMc34..

creator
36399 PrCmT../3504e..

owner
36399 PrCmT../3504e..

term root
fa811..