Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_11d

proof
PUcqv..

Megalodon
-

proofgold address
TMd9C..

creator
36396 PrCmT../81287..

owner
36396 PrCmT../81287..

term root
59676..