Proofgold Proposition

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

type
prop

theory
HotG

name
SNoCut_Le

proof
PUUwp..

Megalodon
SNoCut_Le

proofgold address
TMU9R..^SNoCut_Le

creator
4910 Pr6Pc../93162..

owner
4910 Pr6Pc../93162..

term root
bb8cd..