Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . Church6_to_u6 (permargs_i_1_0_3_2_4_5 (nth_6_tuple x0))

as obj
9defa..

as prop
-

theory
HotG

stx
f66ad..

address
TMdzb..