Theorem CategoryTheory.Limits.ι_colimitLimitIso_limit_π

Modification history