Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : ((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)(ι → ι)ι → ι . ChurchNum_8ary_proj_p x0∀ x1 : ((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)(ι → ι)ι → ι . ChurchNums_8x3_to_3_lt6_id_ge6_rot2 x0 (ChurchNums_8x3_lt6_id_ge6_rot1 x0 x1) = x1
as obj
-
as prop
fa851..
theory
HotG
stx
aa678..
address
TMatR..