Theorem CategoryTheory.Functor.isoWhiskerRight_refl

Modification history