mathlib

9db5482f - preserves_colimits_colim has to be moved elsewhere