Theorem even_abs
Modification history
2024-05-15 09:43
Mathlib/Algebra/Parity.lean
move(Algebra/Parity): Split file (#12829) …
Deleted even_absView on Github →2024-01-13 13:48
Mathlib/Algebra/Parity.lean
refactor: Multiplicativise `abs` (#9553) …
Modified even_absView on Github →