Proofgold Proposition

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

type
prop

theory
HotG

name
SNoS_omega_SNoR_finite

proof
PUMXD..

Megalodon
SNoS_omega_SNoR_finite

proofgold address
TMHAW..^{SNoS_omega_SNoR_finite}

creator
12443 PrGxv../06474..

owner
12443 PrGxv../06474..

term root
c352d..