Theorem CategoryTheory.Functor.isoWhiskerRight_twice

Modification history