Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ u4 ⟶ permargs_i_3_2_1_0_4_5 (nth_6_tuple x0) = nth_6_tuple (3ffd5.. x0)

as obj
-

as prop
7597b..

theory
HotG

stx
08410..

address
TMXSa..