Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0SNoS_ omegafinite (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..