Proofgold Proposition

∀ x0 x1 x2 x3 . SNoCutP x0 x1 ⟶ SNoCutP x2 x3 ⟶ (∀ x4 . x4 ∈ x0 ⟶ SNoLt x4 (SNoCut x2 x3)) ⟶ (∀ x4 . x4 ∈ x1 ⟶ SNoLt (SNoCut x2 x3) x4) ⟶ (∀ x4 . x4 ∈ x2 ⟶ SNoLt x4 (SNoCut x0 x1)) ⟶ (∀ x4 . x4 ∈ x3 ⟶ SNoLt (SNoCut x0 x1) x4) ⟶ SNoCut x0 x1 = SNoCut x2 x3

type
prop

theory
HotG

name
SNoCut_ext

proof
PUUwp..

Megalodon
SNoCut_ext

proofgold address
TMQc8..^SNoCut_ext

creator
4910 Pr6Pc../c596d..

owner
4910 Pr6Pc../c596d..

term root
c1078..