Structure FiniteIndexNormalAddSubgroup

Modification history

2026-02-07 15:49

Mathlib/GroupTheory/FiniteIndexNormalSubgroup.lean

feat: Profinite completion of groups (#34893)

Added FiniteIndexNormalAddSubgroup View on Github →