Proofgold Proposition

∀ x0 . not (SNoLt x0 x0)

type
prop

theory
HotG

name
SNoLt_irref

proof
PUUwp..

Megalodon
SNoLt_irref

proofgold address
TMFNg..^SNoLt_irref

creator
4910 Pr6Pc../09e0a..

owner
4910 Pr6Pc../09e0a..

term root
d5ecf..