Proofgold Proposition

∀ x0 x1 x2 : ι → ο . wb (wbr x0 x1 x2) (wcel (cop x0 x1) x2)

type
prop

theory
SetMM

name
df_br

proof
PUQyb..

Megalodon
-

proofgold address
TMbLX..

creator
36397 PrCmT../9976a..

owner
36397 PrCmT../9976a..

term root
a5e77..