basic): division inequalities (#1579)

Commit

6 years ago

feat(data/nat/basic): division inequalities (#1579) * feat(data/nat/basic): division inequalities * whitespace * fix * shorten proof

References

Author

ChrisHughes24

Committer

mergify[bot]

Parents