Def TopCat.isColimitCoconeOfForget

Modification history