Theorem CategoryTheory.Limits.Sigma.map'_comp_map'

Modification history