Derivations for WeakKernelEmbedding/WeakCokernelProjection - #1761

Derivations for WeakKernelEmbedding/WeakCokernelProjection#1761

mohamed-barakat merged 1 commit into

homalg-project:masterhomalg-project/CAP_project:masterfrom

TKuh:add_closure_derivedTKuh/CAP_project:add_closure_derivedCopy head branch name to clipboard