Proofgold Term Root Disambiguation

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

as obj
-

as prop
5ddb9..

theory
HoTg

stx
ee211..

address
TMVnY..