Proofgold Term Root Disambiguation

λ x0 x1 . In x1 x0

as obj
1ce4f..^incl_0_1

as prop
-

theory
HF

stx
f19eb..

address
TMS7f..^incl_0_1