Proofgold Proposition

∀ x0 . Sing x0 = UPair x0 x0

type
prop

theory
HotG

name
-

proof
PUYSq..

Megalodon
-

proofgold address
TMNrc..

creator
4892 Pr6Pc../4cb3d..

owner
4892 Pr6Pc../4cb3d..

term root
36456..