Proofgold Proposition

∀ x0 : ι → ο . wb (wnfOLD x0) (∀ x1 . x0 x1 ⟶ ∀ x2 . x0 x2)

type
prop

theory
SetMM

name
df_nfOLD

proof
PUXbo..

Megalodon
-

proofgold address
TMQhj..

creator
36397 PrCmT../58faa..

owner
36397 PrCmT../58faa..

term root
eaca9..