Proofgold Proposition

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

type
prop

theory
HotG

name
SNo_eta

proof
PUUwp..

Megalodon
SNo_eta

proofgold address
TMZQ7..^SNo_eta

creator
4910 Pr6Pc../ff1a0..

owner
4910 Pr6Pc../ff1a0..

term root
3cc36..