Proofgold Proposition

∀ x0 . OSNo x0 ⟶ OSNo (minus_OSNo x0)

type
prop

theory
HotG

name
OSNo_minus_OSNo

proof
PUdK2..

Megalodon
OSNo_minus_OSNo

proofgold address
TMM4S..^{OSNo_minus_OSNo}

creator
28513 PrQUS../680ec..

owner
28513 PrQUS../680ec..

term root
5239a..