Added more files to the readme
Updated the group-hom proof