Proofgold Object

λ x0 . unpack_b_b_e_e_i x0 (λ x1 . λ x2 x3 : ι → ι → ι . λ x4 x5 . pack_b_b_e x1 x2 x3 x4)

type
ι → ι

theory
HotG

name
Ring_of_Ring_with_id

definition
PUajT..

Megalodon
Rng_of_Ring

proofgold address
TMSZt..^Rng_of_Ring

creator
4949 Pr6Pc../fb7a1..

owner
4949 Pr6Pc../fb7a1..

term root
9f775..