Proofgold Proposition

∀ x0 x1 : ι → ο . wb (w_bnj13 x0 x1) (wral (λ x2 . wcel (c_bnj14 x0 x1 (cv x2)) cvv) (λ x2 . x0))

type
prop

theory
SetMM

name
df_bnj13

proof
PUgtu..

Megalodon
-

proofgold address
TMJtS..

creator
36399 PrCmT../62fe6..

owner
36399 PrCmT../62fe6..

term root
3e09d..