Theorem Subgroup.nonempty

Modification history

2023-11-14 18:13

Mathlib/GroupTheory/Subgroup/Basic.lean

feat: Order of elements of a subgroup (#8385) …

Deleted Subgroup.nonempty View on Github →

2023-11-14 03:24

Mathlib/GroupTheory/Subgroup/Basic.lean

feat: Simple `Subgroup` lemmas (#8341)

Added Subgroup.nonempty View on Github →