Proofgold Term Root Disambiguation

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

as obj
38cca..

as prop
-

theory
HoTg

stx
94bcc..

address
TMcgC..