Proofgold Object

λ x0 : ι → ι → ο . λ x1 x2 . ∀ x3 : ο . (∀ x4 : ι → ι . and (bij (ordsucc x1) x2 x4) (15fbd.. x0 x1 x4) ⟶ x3) ⟶ x3

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

theory
HotG

name
-

definition
PUdHT..

Megalodon
-

proofgold address
TMcsZ..

creator
31037 Pr4zB../e48ef..

owner
31037 Pr4zB../e48ef..

term root
2dbca..