Theorem CategoryTheory.Functor.isoWhiskerLeft_hom

Modification history