Proofgold Proposition

∀ x0 . prim4 (Sing x0) = UPair 0 (Sing x0)

type
prop

theory
HotG

name
Power_Sing

proof
PUL8Q..

Megalodon
Power_Sing

proofgold address
TMYxT..^Power_Sing

creator
4882 Pr6Pc../8a5da..

owner
4882 Pr6Pc../8a5da..

term root
f735e..