Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . CRing_with_id x0∀ x1 . x1omega∀ x2 . x2setexp (K_field_0 x0 x0) x1∀ x3 . x3K_field_0 x0 x047209.. x0 x1 x2 x3K_field_0 x0 x0
as obj
-
as prop
b9256..
theory
HotG
stx
0f4f5..
address
TMSsQ..