Proofgold Proposition

∀ x0 . SNoLe x0 x0

type
prop

theory
HotG

name
SNoLe_ref

proof
PUUwp..

Megalodon
SNoLe_ref

proofgold address
TMKJt..^SNoLe_ref

creator
4910 Pr6Pc../4be1d..

owner
4910 Pr6Pc../4be1d..

term root
c940c..