Theorem CategoryTheory.Limits.Pi.map'_comp_map

Modification history