Def CategoryTheory.Limits.isColimitOfHasPushoutOfPreservesColimit

Modification history