Search for blocks/addresses/...
Proofgold Proposition
atleastp
(
SNoS_
(
ordsucc
omega
)
)
(
prim4
omega
)
type
prop
theory
HotG
name
atleastp_SNoS_ordsucc_omega_Power_omega
proof
PUeVh..
Megalodon
atleastp_SNoS_ordsucc_omega_Power_omega
proofgold address
TMUg3..
atleastp_SNoS_ordsucc_omega_Power_omega
creator
29749
PrQUS..
/
f6c8d..
owner
29749
PrQUS..
/
f6c8d..
term root
dcf01..