Def Action.FunctorCategoryEquivalence.counitIso

Modification history