Proofgold Proposition

∀ x0 : ι → ο . wceq (bj_csngl x0) (cab (λ x1 . wrex (λ x2 . wceq (cv x1) (csn (cv x2))) (λ x2 . x0)))

type
prop

theory
SetMM

name
df_bj_sngl

proof
PUMPg..

Megalodon
-

proofgold address
TMF6e..

creator
36399 PrCmT../7c31f..

owner
36399 PrCmT../7c31f..

term root
f1cbd..