Conjugacy classes of the alternating group on five elements - History — AI Alignment Forum