Def SemiNormedGroup.cokernel_cocone

Modification history