Theorem CategoryTheory.Limits.PushoutCocone.condition_zero

Modification history