Theorem CategoryTheory.Limits.Sigma.map_comp_map

Modification history