Proofgold Proposition

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

type
prop

theory
HotG

name
minus_SNo_In

proof
PUVu4..

Megalodon
minus_SNo_In

proofgold address
TMHfv..^minus_SNo_In

creator
5368 Pr6Pc../30d14..

owner
5368 Pr6Pc../30d14..

term root
634ff..