Theorem CategoryTheory.Limits.pushoutCoconeOfLeftIso_x

Modification history