Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 x4 x5 x6 x7 : ι → ο . wceq (cs8 x0 x1 x2 x3 x4 x5 x6 x7) (co (cs7 x0 x1 x2 x3 x4 x5 x6) (cs1 x7) cconcat)

as obj
-

as prop
fb0e7..

theory
SetMM

stx
41ee0..

address
TMTS9..