Theorem CategoryTheory.Functor.isoWhiskerLeft_right

Modification history