Def CategoryTheory.Functor.isoWhiskerLeft

Modification history