Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNoCutP (SNoL x0) (SNoR x0)

type
prop

theory
HotG

name
SNoCutP_SNoL_SNoR

proof
PUUwp..

Megalodon
SNoCutP_SNoL_SNoR

proofgold address
TMVyV..^{SNoCutP_SNoL_SNoR}

creator
4910 Pr6Pc../7f7d7..

owner
4910 Pr6Pc../7f7d7..

term root
52486..