Proofgold Proposition

∀ x0 . SNo x0 ⟶ ∀ x1 : ο . (∀ x2 x3 . SNoCutP x2 x3 ⟶ (∀ x4 . x4 ∈ x2 ⟶ SNoLev x4 ∈ SNoLev x0) ⟶ (∀ x4 . x4 ∈ x3 ⟶ SNoLev x4 ∈ SNoLev x0) ⟶ x0 = SNoCut x2 x3 ⟶ x1) ⟶ x1

type
prop

theory
HotG

name
SNo_etaE

proof
PUUwp..

Megalodon
SNo_etaE

proofgold address
TMZNw..^SNo_etaE

creator
4910 Pr6Pc../4d398..

owner
4910 Pr6Pc../4d398..

term root
c2447..