Theorem Function.Odd.const_smul

Modification history

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