Reduced homology of CW complexes#1175

mortberg merged 2 commits intoagda:masteragda/cubical:masterfrom

loic-p:reduced_homologyloic-p/cubical:reduced_homologyCopy head branch name to clipboard