Def CategoryTheory.Limits.pushoutCoconeOfLeftIsoIsLimit

Modification history