Theorem CategoryTheory.Limits.WidePullback.lift_π

Modification history