Proofgold Object

In_rec_i (λ x0 . λ x1 : ι → ι . binunion (Sing 0) (prim5 x0 x1))

type
ι → ι

theory
HotG

name
Inj1

definition
PUMB7..

Megalodon
Inj1

proofgold address
TMG73..^Inj1

creator
4898 Pr6Pc../e128f..

owner
4898 Pr6Pc../e128f..

term root
8f002..