mathlib
9b3dc417 - feat(nat/basic): more nat.find lemmas (#6002)

Commit

4 years ago

feat(nat/basic): more nat.find lemmas (#6002) also merge two sections on nat.find

Author

fpvandoorn

Parents