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