Switching criterion

Last updated Sep 8, 2023

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