Proofgold Proposition

∀ x0 x1 . SNoLt x0 x1 ⟶ SNoLe x0 x1

type
prop

theory
HotG

name
SNoLtLe

proof
PUUwp..

Megalodon
SNoLtLe

proofgold address
TMWx2..^SNoLtLe

creator
4910 Pr6Pc../3a68e..

owner
4910 Pr6Pc../3a68e..

term root
c0fef..