`Nat.zero_or` and `Nat.or_zero` are swapped
Closed this issue · 0 comments
fgdorais commented
Prerequisites
- Put an X between the brackets on this line if you have done all of the following:
- Check that your issue is not already filed.
- Reduce the issue to a minimal, self-contained, reproducible test case. Avoid dependencies to mathlib4 or std4.
Description
Typo: names do not match the usual convention.
Impact
Add 👍 to issues you consider important. If others are impacted by this issue, please ask them to add 👍 to it.