Def category_theory.pseudofunctor.map₂_associator_aux

Modification history