Search for blocks/addresses/...

Proofgold Term Root Disambiguation

atleastp (SNoS_ (ordsucc omega)) (prim4 omega)
as obj
-
as prop
e3c12..atleastp_SNoS_ordsucc_omega_Power_omega
theory
HotG
stx
aa676..
address
TMJqy..atleastp_SNoS_ordsucc_omega_Power_omega