Theorem CategoryTheory.Functor.inv_whiskerLeft

Modification history