Theorem CategoryTheory.Limits.Pi.map'_comp_π

Modification history