Proofgold Proposition

∀ x0 x1 . In x1 (Sing x0) ⟶ x1 = x0

type
prop

theory
HF

name
-

proof
PUZ3G..

Megalodon
SingE

proofgold address
TMF5Y..^SingE

creator
1339 PrGxv../45240..

owner
1339 PrGxv../45240..

term root
5b60b..