Theorem Int.univ_addEquiv

Modification history

2025-07-04 16:39
Mathlib/GroupTheory/ArchimedeanDensely.lean
feat(GroupTheory/ArchimedeanDensely): finset.univ of Int AddEquiv is refl or neg (#26741) …
Added Int.univ_addEquivView on Github →