Theorem Subgroup.isFiniteRelIndex_comap_iff

Modification history

2026-08-18 11:28
Mathlib/GroupTheory/Index.lean
refactor(GroupTheory/Commensurable): add and generalize API (#41030) …
Added Subgroup.isFiniteRelIndex_comap_iffView on Github →