Proofgold Proposition

∀ x0 . OSNo x0 ⟶ ∀ x1 : ι → ο . (∀ x2 x3 . HSNo x2 ⟶ HSNo x3 ⟶ x0 = HSNo_pair x2 x3 ⟶ x1 (HSNo_pair x2 x3)) ⟶ x1 x0

type
prop

theory
HotG

name
OSNo_E

proof
PUdK2..

Megalodon
OSNo_E

proofgold address
TMGPQ..^OSNo_E

creator
28513 PrQUS../0ac1b..

owner
28513 PrQUS../0ac1b..

term root
c2c63..