Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι . Church13_p x0Church13_p (Church13_perm_11_12_0_1_2_3_4_5_6_7_8_9_10 x0)
as obj
-
as prop
92c84..
theory
HotG
stx
a113b..
address
TMNnU..