Proofgold Proposition

∀ x0 x1 : ι → ο . wb (w_bnj15 x0 x1) (wa (wfr x0 x1) (w_bnj13 x0 x1))

type
prop

theory
SetMM

name
df_bnj15

proof
PUgtu..

Megalodon
-

proofgold address
TMVXc..

creator
36399 PrCmT../2dd9d..

owner
36399 PrCmT../2dd9d..

term root
8b70b..