Proofgold Proposition

∀ x0 : ι → ο . wb (wnf x0) (wex x0 ⟶ ∀ x1 . x0 x1)

type
prop

theory
SetMM

name
df_nf

proof
PUMZx..

Megalodon
-

proofgold address
TMYsM..

creator
36383 PrCmT../ed739..

owner
36383 PrCmT../ed739..

term root
e4ec8..