Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_gen

proof
PUXbo..

Megalodon
-

proofgold address
TMVkq..

creator
36397 PrCmT../b6e1d..

owner
36397 PrCmT../b6e1d..

term root
760b9..