Commit 2023-11-14 14:30 fc881b75
View on Github →refactor: Int.negOnePow as a map to ℤˣ rather than ℤ (#8307)
Following #7866, Int.negOnePow
is redefined as a map ℤ → ℤˣ
rather than ℤ → ℤ
.
refactor: Int.negOnePow as a map to ℤˣ rather than ℤ (#8307)
Following #7866, Int.negOnePow
is redefined as a map ℤ → ℤˣ
rather than ℤ → ℤ
.