Theorem CategoryTheory.Limits.sequentialFunctor_initial_aux

Modification history