Def CategoryTheory.Functor.isoWhiskerRight

Modification history