Proofgold Proposition

∀ x0 . x0 ∈ SNoS_ omega ⟶ finite (SNoL x0)

type
prop

theory
HotG

name
SNoS_omega_SNoL_finite

proof
PUMXD..

Megalodon
SNoS_omega_SNoL_finite

proofgold address
TMRmY..^{SNoS_omega_SNoL_finite}

creator
12443 PrGxv../7e225..

owner
12443 PrGxv../7e225..

term root
bf415..