Proofgold Term Root Disambiguation

∀ x0 . infinite x0 ⟶ ∀ x1 . infinite (setminus x0 (Sing x1))

as obj
-

as prop
7a03d..^{infinite_remove1}

theory
HotG

stx
c60a4..

address
TMSHh..^{infinite_remove1}