Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ or (SNoLt x0 x1) (SNoLe x1 x0)

type
prop

theory
HotG

name
SNoLtLe_or

proof
PUUwp..

Megalodon
SNoLtLe_or

proofgold address
TMXGg..^SNoLtLe_or

creator
4910 Pr6Pc../25e09..

owner
4910 Pr6Pc../25e09..

term root
f595a..