Theorem CategoryTheory.Functor.Final.colimit_pre_is_iso_aux

Modification history