Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : ι → ι . ∀ x1 : ι → ο . (∀ x2 . x1 x2x1 (x0 x2))∀ x2 . x1 x2x1 (ChurchNum_ii_2 ChurchNum2 x0 x2)
as obj
-
as prop
52b00..
theory
HotG
stx
0cb0d..
address
TMJQ8..