Theorem CategoryTheory.EnrichedCat.comp_whiskerRight

Modification history