Def CategoryTheory.Functor.Final.colimIso

Modification history