Theorem CategoryTheory.Functor.isoWhiskerRight_trans

Modification history