Theorem CategoryTheory.Functor.isoWhiskerLeft_refl

Modification history