Theorem CategoryTheory.Limits.WidePushout.ι_desc

Modification history