Proofgold Object

λ x0 x1 x2 x3 . 93c99.. x0 (λ x4 . λ x5 : ι → ι → ι . and (and (prim1 x2 x4) (prim1 x3 x4)) (prim1 (x5 x2 (explicit_Group_inverse x4 x5 x3)) (f482f.. x1 4a7ef..)))

type
ι → ι → ι → ι → ο

theory
HoTg

name
-

definition
PUK9H..

Megalodon
-

proofgold address
TMGbL..

creator
4803 PrGxv../91c09..

owner
4803 PrGxv../91c09..

term root
a08a4..