Theorem CategoryTheory.Limits.pushoutComparison_map_desc

Modification history