Proofgold Object

In_rec_i (λ x0 . λ x1 : ι → ι . famunion x0 (λ x2 . prim4 (x1 x2)))

type
ι → ι

theory
HotG

name
V_

definition
PUdSr..

Megalodon
-

proofgold address
TMGyp..

creator
11630 PrGxv../53726..

owner
11630 PrGxv../53726..

term root
7864b..