Theorem CondensedSet.topCatAdjunctionCounit_bijective

Modification history