Theorem CategoryTheory.Limits.WidePullback.lift_base

Modification history