1 problem

Let $d4a2,d4a2$ be path-complete Lyapunov functions in $d52f\mathrm{pc}(\Sigma)$ satisfying Assumption. Suppose that $d53d$ is a subset of linear invertible maps. The composition-l…