mathlib

5839b3f4 - removing defunct colimits