Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ rational ⟶ minus_SNo x0 ∈ rational

as obj
-

as prop
6d267..^{rational_minus_SNo}

theory
HotG

stx
8dd0d..

address
TMF6e..^{rational_minus_SNo}