Proofgold Object

λ x0 x1 . 677e4.. x0 (λ x2 . λ x3 x4 : ι → ι → ι . λ x5 . explicit_Ring_minus x2 x5 x3 x4 x1)

type
ι → ι → ι

theory
HoTg

name
-

definition
PURd1..

Megalodon
-

proofgold address
TMdGA..

creator
4786 PrGxv../9cfb2..

owner
4786 PrGxv../9cfb2..

term root
a6abb..