Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 . equip x0 (ordsucc x3) ⟶ equip x1 x3 ⟶ equip_mod x0 x1 x2

as obj
-

as prop
2931a..

theory
HF

stx
d6132..

address
TMRtD..