Proofgold Object

λ x0 . and (3f0d0.. x0) (c3510.. x0 (λ x1 . λ x2 x3 : ι → ι → ι . λ x4 x5 . explicit_Ring_with_id x1 x4 x5 x2 x3))

type
ι → ο

theory
HoTg

name
-

definition
PURd1..

Megalodon
-

proofgold address
TMGY6..

creator
4786 PrGxv../a3f9c..

owner
4786 PrGxv../a3f9c..

term root
0f4cf..