Proofgold Proposition

∀ x0 : ι → ο . wceq (bj_cpr1 x0) (bj_cproj c0 x0)

type
prop

theory
SetMM

name
df_bj_pr1

proof
PUMPg..

Megalodon
-

proofgold address
TMGsf..

creator
36399 PrCmT../8bc82..

owner
36399 PrCmT../8bc82..

term root
081e6..