Theorem Fin.even_succAbove_add_predAbove

Modification history

2025-04-19 15:55
Mathlib/Data/Fin/Parity.lean
feat: `(-1) ^ m = (-1) ^ n` (#24160) …
Added Fin.even_succAbove_add_predAboveView on Github →