Theorem CategoryTheory.FinitaryExtensive.mono_inl_of_isColimit

Modification history