Proofgold Proposition

∀ x0 . OSNo x0 ⟶ HSNo (OSNo_proj0 x0)

type
prop

theory
HotG

name
OSNo_proj0R

proof
PUdK2..

Megalodon
OSNo_proj0R

proofgold address
TMHKx..^OSNo_proj0R

creator
28513 PrQUS../e3345..

owner
28513 PrQUS../e3345..

term root
d7936..