mathlib

2fb6a056 - feat(group_theory/semidirect_product): semidirect_product.map (#3492)