Def CategoryTheory.Functor.Final.isColimitWhiskerEquiv

Modification history