Proofgold Proposition

∀ x0 . SNoLe x0 x0

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
SNoLe_ref

proofgold address
TMQYQ..^SNoLe_ref

creator
2357 PrGxv../7b62d..

owner
2357 PrGxv../7b62d..

term root
0d67c..