Switching criterion

Tags: linear mathematics, star-autonomous category, Switchings of a linking