Theorem CategoryTheory.Functor.isoWhiskerLeft_inv

Modification history