Def CategoryTheory.Limits.isColimitOfIsColimitCofanMkObj

Modification history