Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_10

proof
PUXbo..

Megalodon
-

proofgold address
TMJVs..

creator
36397 PrCmT../bbbe5..

owner
36397 PrCmT../bbbe5..

term root
5383f..