Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-18 16:19 37cf166f

View on Github →

feat(data/complex/exponential): added @[mono] tag to exp_le_exp and exp_lt_exp (#3318) added @[mono] tag to exp_le_exp and exp_lt_exp.

Estimated changes