Remark 3.47. If \(n = 1\), then \(A \in \Grp(T_{\leq 0})\) is unique if it exists, but it might not exist.