Theorem CategoryTheory.Limits.Pi.lift_π

Modification history