Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUTNo..

Megalodon
Conj_SNo_eta__5__1

proofgold address
TMRfQ..^{Conj_SNo_eta__5__1}

creator
35053 PrNpY../759dc..

owner
35061 PrNpY../4c108..

term root
3e42c..