Proofgold Term Root Disambiguation

∀ x0 . CSNo x0 ⟶ ∀ x1 . x1 ∈ x0 ⟶ nIn (Sing 3) x1

as obj
-

as prop
cbed0..^{quaternion_tag_fresh}

theory
HotG

stx
43801..

address
TMZrX..^{quaternion_tag_fresh}