Theorem IsCyclic.infinite_of_ne_bot

Modification history

2026-09-09 11:47
Mathlib/GroupTheory/SpecificGroups/Cyclic.lean
feat(GroupTheory/SpecificGroups/Cyclic): comparison of subgroups of a cyclic group (#40597) …
Added IsCyclic.infinite_of_ne_botView on Github →