Proofgold Proposition

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

type
prop

theory
HotG

name
SNoEq_sym_

proof
PUUwp..

Megalodon
SNoEq_sym_

proofgold address
TMZPd..^SNoEq_sym_

creator
4910 Pr6Pc../6e9ff..

owner
4910 Pr6Pc../6e9ff..

term root
f8c61..