Proofgold Proposition

wceq cnelbr (copab (λ x0 x1 . wn (wcel (cv x0) (cv x1))))

type
prop

theory
SetMM

name
df_nelbr

proof
PUYnf..

Megalodon
-

proofgold address
TMd4X..

creator
36378 PrCmT../f3fb3..

owner
36378 PrCmT../f3fb3..

term root
a89ac..