Def ModuleCat.FilteredColimits.colimitDesc

Modification history