Theorem CategoryTheory.Functor.inv_whiskerRight

Modification history