Theorem CategoryTheory.Limits.sequentialFunctor_map

Modification history