Det ryktbara biblioteket med enmängd