Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 x4 . Field_Hom x0 x1 x3 ⟶ Field_Hom x1 x2 x4 ⟶ Field_Hom x0 x2 (lam_comp (ap x0 0) x4 x3)

as obj
-

as prop
c7176..^{Field_Hom_comp}

theory
HotG

stx
6b5ba..

address
TMXHq..^{Field_Hom_comp}