Theorem CategoryTheory.Functor.isoWhiskerRight_left

Modification history