Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ nIn x0 (minus_SNo omega)

type
prop

theory
HotG

name
nat_nIn_minus_SNo_omega

proof
PUaSr..

Megalodon
-

proofgold address
TMEkS..

creator
23745 Pr5Zc../fc638..

owner
23745 Pr5Zc../fc638..

term root
65e94..