Commit 2025-01-22 13:15 720fe962
View on Github →feat(GroupTheory/SemidirectProduct): add two lemmas (#20634) add lemma on cardinality of semidirect product of finite groups add def establishing an isomorphism between a semidirect product and a direct product