Def CategoryTheory.Functor.whiskeringRight

Modification history