Def CategoryTheory.Limits.PushoutCocone.isColimitMkIdId

Modification history