Proofgold Term Root Disambiguation

Complex_i ∈ quaternion

as obj
-

as prop
88515..^quaternion_i

theory
HotG

stx
dd055..

address
TMJpR..^quaternion_i