Search for blocks/addresses/...

Proofgold Object

λ x0 x1 . λ x2 : ι → ι . λ x3 x4 . and (and (x3x0) (x4x0)) (∀ x5 . x5x0explicit_Nats_lt x0 x1 x2 x5 x3explicit_Nats_lt x0 x1 x2 x5 x4x5 = 1)
type
ιι(ιι) → ιιο
theory
HotG
name
explicit_Nats_max_is_one
definition
PUfRN..
Megalodon
-
proofgold address
TMF8n..
creator
4972 Pr6Pc../78b25..
owner
4972 Pr6Pc../78b25..
term root
70139..