Commit 2025-07-15 08:10 59c80bca
View on Github →feat: equivalent condition for subgroups to be simple (#26552) And simpleness of isomorphic groups are equivalent. Required to prove that A_n is simple iff n = 3 or 5 ≤ n(#26051).
feat: equivalent condition for subgroups to be simple (#26552) And simpleness of isomorphic groups are equivalent. Required to prove that A_n is simple iff n = 3 or 5 ≤ n(#26051).