Left cosets are all in bijection - History — LessWrong