Proofgold Proposition

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

type
prop

theory
SetMM

name
df_ex

proof
PUMZx..

Megalodon
-

proofgold address
TMMoF..

creator
36383 PrCmT../42d7f..

owner
36383 PrCmT../42d7f..

term root
6ed46..