Theorem isCyclic_multiplicative_iff

Modification history

2023-11-28 08:56
Mathlib/GroupTheory/SpecificGroups/Cyclic.lean
feat: add some results about IsCyclic (#8625) …
Added isCyclic_multiplicative_iffView on Github →