Proofgold Proposition

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

type
prop

theory
SetMM

name
df_an

proof
PUMZx..

Megalodon
-

proofgold address
TMPDW..

creator
36383 PrCmT../f41ae..

owner
36383 PrCmT../f41ae..

term root
ad025..