Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_11_b

proof
PUcqv..

Megalodon
-

proofgold address
TMa7u..

creator
36396 PrCmT../e7959..

owner
36396 PrCmT../e7959..

term root
6bfaa..