Proofgold Proposition

∀ x0 . OSNo x0 ⟶ and (HSNo (OSNo_proj0 x0)) (∃ x1 . and (HSNo x1) (x0 = HSNo_pair (OSNo_proj0 x0) x1))

type
prop

theory
HotG

name
OSNo_proj0_1

proof
PUdK2..

Megalodon
OSNo_proj0_1

proofgold address
TMV1k..^OSNo_proj0_1

creator
28513 PrQUS../f2302..

owner
28513 PrQUS../f2302..

term root
d56b4..