mathlib
ab99fd1b - chore(data/nat): rename oddly named lemma odd_gt_zero (#13040)

Commit

3 years ago

chore(data/nat): rename oddly named lemma odd_gt_zero (#13040)

Author

alexjbest

alexjbest

Parents

Loading