Theorem CategoryTheory.Functor.isoWhiskerLeft_trans

Modification history