Proofgold Proposition

∀ x0 : ι → ο . (∀ x1 x2 . SNoCutP x1 x2 ⟶ (∀ x3 . x3 ∈ x1 ⟶ x0 x3) ⟶ (∀ x3 . x3 ∈ x2 ⟶ x0 x3) ⟶ x0 (SNoCut x1 x2)) ⟶ ∀ x1 . SNo x1 ⟶ x0 x1

type
prop

theory
HotG

name
SNo_ind

proof
PUUwp..

Megalodon
SNo_ind

proofgold address
TMdM7..^SNo_ind

creator
4910 Pr6Pc../7e4ef..

owner
4910 Pr6Pc../7e4ef..

term root
5b4c3..