Proofgold Proposition

∀ x0 . not (SNoLt x0 x0)

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
SNoLt_irref

proofgold address
TMVjP..^SNoLt_irref

creator
2357 PrGxv../6e876..

owner
2357 PrGxv../6e876..

term root
5407e..