Def CategoryTheory.Functor.whiskeringRight₂

Modification history