Proofgold Object

In_rec_i (λ x0 . λ x1 : ι → ι . 0ac37.. (91630.. 4a7ef..) (94f9e.. x0 x1))

type
ι → ι

theory
HoTg

name
-

definition
PUKG7..

Megalodon
-

proofgold address
TMUrQ..

creator
2750 PrGxv../5e93b..

owner
2750 PrGxv../5e93b..

term root
a1aab..