Def LightCondSet.topCatAdjunctionCounitEquiv

Modification history