Proofgold Proposition

∀ x0 x1 x2 : ι → ο . wb (w_bnj19 x0 x1 x2) (wral (λ x3 . wss (c_bnj14 x0 x2 (cv x3)) x1) (λ x3 . x1))

type
prop

theory
SetMM

name
df_bnj19

proof
PUgtu..

Megalodon
-

proofgold address
TMckr..

creator
36399 PrCmT../15548..

owner
36399 PrCmT../15548..

term root
6289d..