Theorem Int.zmultiples_natAbs

Modification history

2025-02-17 16:56

Mathlib/Algebra/Group/Subgroup/ZPowers/Basic.lean

refactor(GroupTheory/SpecificGroups/Cyclic,Dihedral): Reverse import (#20923) …

Modified Int.zmultiples_natAbs View on Github →

2023-03-21 13:00

Mathlib/RingTheory/Int/Basic.lean

feat: port RingTheory.Int.Basic (#3014)

Added Int.zmultiples_natAbs View on Github →