Proofgold Proposition

∀ x0 . HSNo x0 ⟶ OSNo x0

type
prop

theory
HotG

name
HSNo_OSNo

proof
PUdK2..

Megalodon
HSNo_OSNo

proofgold address
TMYdK..^HSNo_OSNo

creator
28513 PrQUS../c7deb..

owner
28513 PrQUS../c7deb..

term root
4fae9..