mathlib
9f0f05ee - feat(data/{nat,int}/parity): even_mul_succ_self (#6507)

Commit

5 years ago

feat(data/{nat,int}/parity): even_mul_succ_self (#6507)

Author

pechersky

pechersky

Parents

Loading