Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_c15

proof
PUNA7..

Megalodon
-

proofgold address
TMbVE..

creator
36384 PrCmT../ef4ba..

owner
36384 PrCmT../ef4ba..

term root
2697e..