Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . ba9d8.. x1∀ x2 x3 . aa8d2.. x1 x0 x2aa8d2.. x1 x0 x3x2 = x3
as obj
-
as prop
0cbec..
theory
HoTg
stx
c93a1..
address
TMFtU..