Theorem Int.negOnePow_two_mul

Modification history

2023-09-04 17:35
Mathlib/Algebra/GroupPower/NegOnePow.lean
feat(Algebra): integer powers of -1 (#6720) …
Added Int.negOnePow_two_mulView on Github →