Proofgold Proposition

∀ x0 x1 x2 . SNoEq_ x0 x1 x2 ⟶ ∀ x3 . prim1 x3 x0 ⟶ prim1 x3 x2 ⟶ prim1 x3 x1

type
prop

theory
HoTg

name
SNoEq_E2

proof
PURFE..

Megalodon
-

proofgold address
TMStu..

creator
2815 PrGxv../eed8f..

owner
2815 PrGxv../eed8f..

term root
04c55..