Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-01-05 21:25 63670b59

View on Github →

feat(data/real/nnreal): add a few simple lemmas (#1856)

Estimated changes

added theorem nnreal.div_mul_cancel
added theorem nnreal.div_pos
added theorem nnreal.half_pos
added theorem nnreal.mul_div_cancel'
added theorem nnreal.mul_div_cancel