Proofgold Proposition

∀ x0 : ι → ι → ο . (∀ x1 x2 . SNo x1 ⟶ SNo x2 ⟶ (∀ x3 . x3 ∈ SNoS_ (SNoLev x1) ⟶ x0 x3 x2) ⟶ (∀ x3 . x3 ∈ SNoS_ (SNoLev x2) ⟶ x0 x1 x3) ⟶ (∀ x3 . x3 ∈ SNoS_ (SNoLev x1) ⟶ ∀ x4 . x4 ∈ SNoS_ (SNoLev x2) ⟶ x0 x3 x4) ⟶ x0 x1 x2) ⟶ ∀ x1 x2 . SNo x1 ⟶ SNo x2 ⟶ x0 x1 x2

type
prop

theory
HotG

name
SNoLev_ind2

proof
PUK1b..

Megalodon
SNoLev_ind2

proofgold address
TMdh3..^SNoLev_ind2

creator
4949 Pr6Pc../d31c2..

owner
4949 Pr6Pc../d31c2..

term root
87eb9..