Def CategoryTheory.EnrichedCat.whiskerRight

Modification history