Proofgold Proposition

∀ x0 . HSNo x0 ⟶ OSNo_proj0 x0 = x0

type
prop

theory
HotG

name
HSNo_OSNo_proj0

proof
PUdK2..

Megalodon
HSNo_OSNo_proj0

proofgold address
TMYJy..^{HSNo_OSNo_proj0}

creator
28513 PrQUS../d7f85..

owner
28513 PrQUS../d7f85..

term root
3841a..