Theorem Monoid.exponent_eq_sInf

Modification history

2025-06-06 16:43
Mathlib/GroupTheory/Exponent.lean
feat(Ideal/Int): some results about ideals of `ℤ` or ideals of extensions of `ℤ` (#25528) …
Added Monoid.exponent_eq_sInfView on Github →