Def CategoryTheory.EnrichedCat.associator

Modification history