Theorem CategoryTheory.Functor.isoWhiskerRight_symm

Modification history