Theorem CategoryTheory.Limits.sigmaComparison_map_desc

Modification history