Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 x4 x5 : ι → ο . wceq (cs6 x0 x1 x2 x3 x4 x5) (co (cs5 x0 x1 x2 x3 x4) (cs1 x5) cconcat)

as obj
-

as prop
fa445..

theory
SetMM

stx
41ee0..

address
TMSjR..