Proofgold Term Root Disambiguation

∀ x0 x1 . ba9d8.. x1 ⟶ 616bf.. x0 (4ae4a.. x1) = 4ae4a.. (616bf.. x0 x1)

as obj
-

as prop
1c625..

theory
HoTg

stx
ee211..

address
TMX6Q..