Proofgold Proposition

∀ x0 x1 : ο . wb (wo x0 x1) (wn x0 ⟶ x1)

type
prop

theory
SetMM

name
df_or

proof
PUMZx..

Megalodon
-

proofgold address
TMRp3..

creator
36383 PrCmT../d2144..

owner
36383 PrCmT../d2144..

term root
f39b2..