Proofgold Object

λ x0 . prim0 (λ x1 . and (prim1 x1 48ef8..) (c2e41.. x1 (1216a.. (4ae4a.. x0) (λ x2 . and (prim1 4a7ef.. x2) (2a940.. x2 x0)))))

type
ι → ι

theory
HoTg

name
-

definition
PUUTm..

Megalodon
-

proofgold address
TMH7D..

creator
4786 PrGxv../7919f..

owner
4786 PrGxv../7919f..

term root
4ed0e..