Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . d3786.. x0 (0ac37.. x1 x2) = 0ac37.. (d3786.. x0 x1) (d3786.. x0 x2)
as obj
-
as prop
6deec..
theory
HoTg
stx
7cde0..
address
TMbv2..