Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ 4 ⟶ ∀ x1 : ι → ο . x1 0 ⟶ x1 1 ⟶ x1 2 ⟶ x1 3 ⟶ x1 x0

as obj
-

as prop
58ec1..^cases_4

theory
HotG

stx
019b2..

address
TMa3a..^cases_4