Def CategoryTheory.Limits.pushoutCoconeOfLeftIso

Modification history