Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_c16

proof
PUNA7..

Megalodon
-

proofgold address
TMFaP..

creator
36384 PrCmT../4bb05..

owner
36384 PrCmT../4bb05..

term root
30238..