The Non-Strict Projection Lemma Unveiled

A non-strict projection lemma generalizes the strict version, enabling robust control applications.