Ramana Kumar comments on Eight Definitions of Observability

[Ramana Kumar]

Let $C_1=(A_1,E_1,{\cdot }_1)$, and let $D_1=(B_1,F_1,{\star }_1)=C_1\otimes \cdots \otimes C_n$

Is $D_1$ supposed to be $C_2\otimes \dots$ here, rather than including $C_1$?

[Scott Garrabrant]

Fixed, thanks.