Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . Church6_to_u6 (permargs_i_3_2_1_0_4_5 (nth_6_tuple x0))

as obj
3ffd5..

as prop
-

theory
HotG

stx
08410..

address
TMJQH..