Theorem Int.card_fintype_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.card_fintype_addEquivView on Github →