Def CategoryTheory.Functor.Final.colimitCompCoyonedaIso

Modification history