Proofgold Object

λ x0 . and (struct_b_b_e_e x0) (unpack_b_b_e_e_o x0 (λ x1 . λ x2 x3 : ι → ι → ι . λ x4 x5 . explicit_Field x1 x4 x5 x2 x3))

type
ι → ο

theory
HotG

name
Field

definition
PUXmz..

Megalodon
Field

proofgold address
TMNqK..^Field

creator
4954 Pr6Pc../7fd05..

owner
4954 Pr6Pc../7fd05..

term root
c7b84..