Proofgold Proposition

∀ x0 x1 . prim1 (e4431.. x1) (e4431.. x0) ⟶ SNoEq_ (e4431.. x1) x0 x1 ⟶ nIn (e4431.. x1) x0 ⟶ 099f3.. x0 x1

type
prop

theory
HoTg

name
-

proof
PURFE..

Megalodon
-

proofgold address
TMUDJ..

creator
2815 PrGxv../83249..

owner
2815 PrGxv../83249..

term root
e5e2d..