Theorem Function.Odd.add

Modification history

2024-09-13 06:50
Mathlib/Algebra/Group/EvenFunction.lean
feat(Algebra/Group): define even and odd functions (#16446) …
Added Function.Odd.addView on Github →