Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nnreal.div_mul_cancel

Modification history

2020-06-11 20:24
src/data/real/nnreal.lean
refactor(analysis/mean_inequalities): review (#3023) …
Deleted nnreal.div_mul_cancelView on Github →
2020-01-05 21:25
src/data/real/nnreal.lean
feat(data/real/nnreal): add a few simple lemmas (#1856)
Added nnreal.div_mul_cancelView on Github →