Proofgold Proposition

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

type
prop

theory
HotG

name
SNoS_omega_SNoL_max_exists

proof
PUMXD..

Megalodon
SNoS_omega_SNoL_max_exists

proofgold address
TMHqi..^{SNoS_omega_SNoL_max_exists}

creator
12443 PrGxv../fbf20..

owner
12443 PrGxv../fbf20..

term root
4539e..