Theorem CategoryTheory.Functor.isoWhiskerLeft_twice

Modification history