Def CategoryTheory.Functor.whiskeringLeft₃Map

Modification history