Theorem CategoryTheory.NormalEpiCategory.hasColimit_parallelPair

Modification history