Commit 2020-04-01 18:06 a8076b2c
View on Github →refactor(data/real/irrational): review (#2304)
- refactor(data/real/irrational): review
- Update src/data/real/irrational.lean
- Update src/data/real/irrational.lean
- Apply suggestions from code review
refactor(data/real/irrational): review (#2304)