Def CategoryTheory.Functor.whiskeringLeft₂

Modification history