Theorem CategoryTheory.Limits.Sigma.ι_comp_map'

Modification history