Proofgold Proposition

∀ x0 . OSNo x0 ⟶ and (HSNo (OSNo_proj0 x0)) (∀ x1 : ο . (∀ x2 . and (HSNo x2) (x0 = HSNo_pair (OSNo_proj0 x0) x2) ⟶ x1) ⟶ 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..