Proofgold Object

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

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

theory
HotG

name
-

definition
PUdHT..

Megalodon
-

proofgold address
TMcsZ..

creator
31037 Pr4zB../e48ef..

owner
31037 Pr4zB../e48ef..

term root
2dbca..