Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . CRing_with_id x0x0 = pack_b_b_e_e (K_field_0 x0 x0) (K_field_1_b x0 x0) (K_field_2_b x0 x0) (K_field_3 x0 x0) (K_field_4 x0 x0)
as obj
-
as prop
32c71..
theory
HotG
stx
0f4f5..
address
TMWkh..