Theorem Function.Even.zero

Modification history

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