mathlib
5d1363ea - feat(data/nat/parity): add lemmas (#10352)

Commit

4 years ago

feat(data/nat/parity): add lemmas (#10352) From FLT-regular.

Author

riccardobrasca

riccardobrasca

Parents

Loading