Theorem CategoryTheory.Limits.end_.lift_π

Modification history