2 ≤ n (#6863)

Commit

4 years ago

feat(data/nat/basic): (n+1) / 2 ≤ n (#6863) Zulip: https://leanprover.zulipchat.com/#narrow/stream/116395-maths

Author

adomani

Parents