Theorem CategoryTheory.Functor.isoWhiskerLeft_trans_isoWhiskerRight

Modification history