Proofgold Object

λ x0 : ι → ι → ο . λ x1 . λ x2 : ι → ι . and (∀ x3 . x3 ∈ x1 ⟶ x0 (x2 x3) (x2 (ordsucc x3))) (x0 (x2 x1) (x2 0))

type
(ι → ι → ο) → ι → (ι → ι) → ο

theory
HotG

name
-

definition
PUdHT..

Megalodon
-

proofgold address
TMLjb..

creator
31037 Pr4zB../c9d9b..

owner
31037 Pr4zB../c9d9b..

term root
73f91..