Theorem CondensedSet.topCatAdjunctionCounit_hom_apply

Modification history