Theorem CategoryTheory.Limits.IsLimit.map_π

Modification history