Search for blocks/addresses/...

Proofgold Object

λ x0 x1 . λ x2 : ι → ι . λ x3 x4 . and (and (prim1 x3 x0) (prim1 x4 x0)) (∀ x5 : ο . (∀ x6 . and (prim1 x6 x0) (explicit_Nats_one_plus x0 x1 x2 x3 x6 = x4)x5)x5)
type
ιι(ιι) → ιιο
theory
HoTg
name
explicit_Nats_one_lt
definition
PUUTm..
Megalodon
-
proofgold address
TMPMf..
creator
4786 PrGxv../d5808..
owner
4786 PrGxv../d5808..
term root
a887f..