Def CategoryTheory.Functor.Final.colimitIso

Modification history