Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 . λ x2 : ι → ι . λ x3 x4 . explicit_Nats_primrec x0 x1 x2 x4 (λ x5 . x2) x3
as obj
b2f8d..
as prop
-
theory
HoTg
stx
ddc14..
address
TMEmJ..explicit_Nats_zero_plus