Proofgold Term Root Disambiguation

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

as obj
2f4c2..

as prop
-

theory
HoTg

stx
32977..

address
TMLo5..