Def Module.cokernel_is_colimit

Modification history