Proofgold Proposition

∀ x0 . In x0 (Sing x0)

type
prop

theory
HF

name
-

proof
PUZ3G..

Megalodon
SingI

proofgold address
TMM6y..^SingI

creator
1339 PrGxv../0ceaa..

owner
1339 PrGxv../0ceaa..

term root
e96db..