Def SemidirectProduct.equivProd

Modification history

2025-01-22 13:15

Mathlib/GroupTheory/SemidirectProduct.lean

feat(GroupTheory/SemidirectProduct): add two lemmas (#20634) …

Modified SemidirectProduct.equivProd View on Github →

2024-12-20 20:04

Mathlib/GroupTheory/SemidirectProduct.lean

feat(GroupTheory/SemidirectProduct): Add various maps (#20102) …

Added SemidirectProduct.equivProd View on Github →