Theorem finite_iff_subgroup_quotient

Modification history

2025-11-14 17:31
Mathlib/GroupTheory/QuotientGroup/Finite.lean
feat(Algebra/Homology): sandwich a comm group between two finite comm groups (#31227) …
Added finite_iff_subgroup_quotientView on Github →