Theorem CategoryTheory.EnrichedCat.whisker_exchange

Modification history