Proofgold Term Root Disambiguation

ordinal 2

as obj
-

as prop
a2c28..^ordinal_2

theory
HF

stx
82de5..

address
TMZGa..^ordinal_2