Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : ((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)(ι → ι)ι → ι . ChurchNum_8ary_proj_p x0∀ x1 : ((ι → ι)ι → ι)((ι → ι)ι → ι)((ι → ι)ι → ι)(ι → ι)ι → ι . ChurchNums_8x3_to_3_lt4_id_ge4_rot2 x0 (ChurchNums_8x3_lt4_id_ge4_rot1 x0 x1) = x1
type
prop
theory
HotG
name
-
proof
PUVpr..
Megalodon
-
proofgold address
TMGKw..
creator
18372 Pr4zB../f95f8..
owner
18372 Pr4zB../f95f8..
term root
4c6be..