Proofgold Proposition

∀ x0 . x0 ∈ Sing x0

type
prop

theory
HotG

name
SingI

proof
PUL8Q..

Megalodon
SingI

proofgold address
TMbi5..^SingI

creator
4882 Pr6Pc../800ab..

owner
4882 Pr6Pc../800ab..

term root
6591b..