prime): prime.even_iff (#14688)

Commit

3 years ago

feat(data/nat/prime): prime.even_iff (#14688) Adds a lemma saying that the only even prime is two.

Author

BoltonBailey

Parents