Proofgold Proposition

∀ x0 . HSNo x0 ⟶ OSNo_proj1 x0 = 0

type
prop

theory
HotG

name
HSNo_OSNo_proj1

proof
PUdK2..

Megalodon
HSNo_OSNo_proj1

proofgold address
TMb3t..^{HSNo_OSNo_proj1}

creator
28513 PrQUS../1b6f1..

owner
28513 PrQUS../1b6f1..

term root
c0d01..