Proofgold Object

λ x0 x1 . 236dc.. (bc82c.. (e6316.. (ce322.. x0) (ce322.. x1)) (f4dc0.. (e6316.. (f6a32.. x0) (f6a32.. x1)))) (bc82c.. (e6316.. (ce322.. x0) (f6a32.. x1)) (e6316.. (f6a32.. x0) (ce322.. x1)))

type
ι → ι → ι

theory
HoTg

name
-

definition
PUfBi..

Megalodon
-

proofgold address
TMGt6..

creator
3879 PrGxv../74a95..

owner
3879 PrGxv../74a95..

term root
0d31d..