Proofgold Proposition

∀ x0 . OSNo x0 ⟶ x0 = HSNo_pair (OSNo_proj0 x0) (OSNo_proj1 x0)

type
prop

theory
HotG

name
OSNo_proj0p1

proof
PUdK2..

Megalodon
OSNo_proj0p1

proofgold address
TMPM2..^OSNo_proj0p1

creator
28513 PrQUS../073c7..

owner
28513 PrQUS../073c7..

term root
5c403..