Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_frege58b_b

proof
PUQnf..

Megalodon
-

proofgold address
TMMhK..

creator
36386 PrCmT../ea8c1..

owner
36386 PrCmT../ea8c1..

term root
5c66b..