Theorem CategoryTheory.Limits.biproduct.map_π

Modification history