Proofgold Proposition

∀ x0 . ordinal x0 ⟶ ∀ x1 . x1 ∈ SNoS_ x0 ⟶ minus_SNo x1 ∈ SNoS_ x0

type
prop

theory
HotG

name
minus_SNo_SNoS_

proof
PUK1b..

Megalodon
minus_SNo_SNoS_

proofgold address
TMVtC..^{minus_SNo_SNoS_}

creator
4949 Pr6Pc../e59dd..

owner
4949 Pr6Pc../e59dd..

term root
12f1a..