Proofgold Term Root Disambiguation

∀ x0 x1 . x1 ⊆ x0 ⟶ finite x0 ⟶ finite x1

as obj
-

as prop
db10e..

theory
HotG

stx
62a5c..

address
TMUbz..