Theorem Function.Even.mul_even

Modification history

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