Littlewood–Richardson coefficient