Theorem CategoryTheory.Functor.isoWhiskerRight_hom

Modification history