P
Initializing...
Theorem 6.1 (ii), p. 216 โ a proper supervisor with L_c(๐ฎ/๐ข) = K exists iff K is controllable and L_m(๐ข)-closed ยท Prove2Me