Proofgold Proposition

∀ x0 . SNo x0 ⟶ ∀ x1 . x1 ∈ SNoLev x0 ⟶ nIn x1 x0 ⟶ x1 ∈ minus_SNo x0

type
prop

theory
HotG

name
minus_SNo_nIn

proof
PUVu4..

Megalodon
minus_SNo_nIn

proofgold address
TMbXv..^{minus_SNo_nIn}

creator
5368 Pr6Pc../73105..

owner
5368 Pr6Pc../73105..

term root
42b82..