Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_c11

proof
PUNA7..

Megalodon
-

proofgold address
TMPRW..

creator
36384 PrCmT../a1dca..

owner
36384 PrCmT../a1dca..

term root
cbdd0..