Proofgold Proposition

∀ x0 . OSNo x0 ⟶ HSNo (OSNo_proj1 x0)

type
prop

theory
HotG

name
OSNo_proj1R

proof
PUdK2..

Megalodon
OSNo_proj1R

proofgold address
TMS4P..^OSNo_proj1R

creator
28513 PrQUS../16414..

owner
28513 PrQUS../16414..

term root
010b9..