Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ u4 ⟶ permargs_i_1_0_3_2_4_5 (nth_6_tuple x0) = nth_6_tuple (9defa.. x0)

as obj
-

as prop
8a924..

theory
HotG

stx
f66ad..

address
TMGuT..