Theorem Function.Odd.mul_odd

Modification history

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