mathlib
3bbf8eb8 - feat(data/real/nnreal): a few lemmas about subtraction (#1904)

Commit

6 years ago

feat(data/real/nnreal): a few lemmas about subtraction (#1904)

References

#1904 - feat(data/real/nnreal): a few lemmas about subtraction

Author

urkud

urkud

Committer

mergify[bot]

mergify[bot]

Parents

Loading