Theorem CategoryTheory.Functor.isoWhiskerLeft_symm

Modification history