Theorem CategoryTheory.Functor.isoWhiskerRight_inv

Modification history