Proofgold Proposition

∀ x0 x1 . SNoEq_ x0 x1 x1

type
prop

theory
HoTg

name
SNoEq_ref_

proof
PURFE..

Megalodon
-

proofgold address
TMRZe..

creator
2815 PrGxv../afada..

owner
2815 PrGxv../afada..

term root
259cc..