Proofgold Proposition

∀ x0 : ι → ο . wceq (bj_cpr2 x0) (bj_cproj c1o x0)

type
prop

theory
SetMM

name
df_bj_pr2

proof
PUMPg..

Megalodon
-

proofgold address
TMM4S..

creator
36399 PrCmT../c0b57..

owner
36399 PrCmT../c0b57..

term root
61329..