Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . Church6_to_u6 (permargs_i_2_3_0_1_4_5 (nth_6_tuple x0))

as obj
247c9..

as prop
-

theory
HotG

stx
46321..

address
TMEjN..