Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-26 13:34 b059708f

View on Github →

feat(data/nnreal): filling out some lemmas (#7710) From LTE.

Estimated changes

added theorem nnreal.div_le_iff'
added theorem nnreal.div_lt_iff'
modified theorem nnreal.div_lt_iff
added theorem nnreal.le_div_iff'
added theorem nnreal.le_div_iff
added theorem nnreal.lt_div_iff'