Proofgold Term Root Disambiguation

λ x0 . and (06179.. x0) (2f4b2.. x0 (λ x1 . λ x2 x3 : ι → ι → ι . λ x4 . explicit_Ring x1 x4 x2 x3))

as obj
fa6a5..

as prop
-

theory
HoTg

stx
32977..

address
TMSEh..