Proofgold Proposition

∀ x0 x1 x2 . SNoEq_ x0 x1 x2 ⟶ SNoEq_ x0 x2 x1

type
prop

theory
HoTg

name
SNoEq_sym_

proof
PURFE..

Megalodon
-

proofgold address
TMTCc..

creator
2815 PrGxv../802f0..

owner
2815 PrGxv../802f0..

term root
f8c61..