Proofgold Proposition

∀ x0 . x0 ∈ SNoS_ omega ⟶ or (SNoR x0 = 0) (∀ x1 : ο . (∀ x2 . SNo_min_of (SNoR x0) x2 ⟶ x1) ⟶ x1)

type
prop

theory
HotG

name
SNoS_omega_SNoR_min_exists

proof
PUMXD..

Megalodon
SNoS_omega_SNoR_min_exists

proofgold address
TMLac..^{SNoS_omega_SNoR_min_exists}

creator
12443 PrGxv../c0684..

owner
12443 PrGxv../c0684..

term root
b0aa0..