Proofgold Proposition

∀ x0 x1 x2 : ο . wb (whad x0 x1 x2) (wxo (wxo x0 x1) x2)

type
prop

theory
SetMM

name
df_had

proof
PUMZx..

Megalodon
-

proofgold address
TMZqV..

creator
36383 PrCmT../22269..

owner
36383 PrCmT../22269..

term root
6b4fa..