Theorem LightCondSet.topCatAdjunctionCounit_bijective

Modification history