Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ u4 ⟶ permargs_i_2_3_0_1_4_5 (nth_6_tuple x0) = nth_6_tuple (247c9.. x0)

as obj
-

as prop
9ac02..

theory
HotG

stx
46321..

address
TMWSf..