Proofgold Proposition

wceq cep (copab (λ x0 x1 . wcel (cv x0) (cv x1)))

type
prop

theory
SetMM

name
df_eprel

proof
PUQyb..

Megalodon
-

proofgold address
TMZ3d..

creator
36397 PrCmT../d1cbe..

owner
36397 PrCmT../d1cbe..

term root
b0e20..