Theorem AddSubgroup.index_toSubgroup

Modification history

2024-08-18 22:27

Mathlib/GroupTheory/Index.lean

feat(GroupTheory/Index): `index_toAddSubgroup` (#15946) …

Added AddSubgroup.index_toSubgroup View on Github →