Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ SNoLt x0 x1 ⟶ ∀ x2 : ο . (∀ x3 . x3 ∈ SNoL x1 ⟶ x3 ∈ SNoR x0 ⟶ x2) ⟶ (x0 ∈ SNoL x1 ⟶ x2) ⟶ (x1 ∈ SNoR x0 ⟶ x2) ⟶ x2

type
prop

theory
HotG

name
SNoLt_SNoL_or_SNoR_impred

proof
PUcff..

Megalodon
SNoLt_SNoL_or_SNoR_impred

proofgold address
TMcck..^{SNoLt_SNoL_or_SNoR_impred}

creator
4971 Pr6Pc../a60cc..

owner
4971 Pr6Pc../a60cc..

term root
f3b15..