Proofgold Proposition

∀ x0 x1 x2 : ο . wb (w3a x0 x1 x2) (wa (wa x0 x1) x2)

type
prop

theory
SetMM

name
df_3an

proof
PUMZx..

Megalodon
-

proofgold address
TMYc9..

creator
36383 PrCmT../3a86f..

owner
36383 PrCmT../3a86f..

term root
ac260..