Proofgold Proposition

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

type
prop

theory
HotG

name
SNoS_finite

proof
PUMXD..

Megalodon
SNoS_finite

proofgold address
TMbEt..^SNoS_finite

creator
12443 PrGxv../d8483..

owner
12443 PrGxv../d8483..

term root
b1861..