Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-25 17:49 ee750e33

View on Github →

chore(algebra): a few more @[mono] tags (#5874)

Estimated changes

Modified src/algebra/group_power/basic.lean

modified theorem canonically_ordered_semiring.pow_le_pow_of_le_left

modified theorem pow_le_pow_of_le_left

Modified src/algebra/ordered_field.lean

modified theorem div_le_div

modified theorem div_le_div_of_le

modified theorem div_le_div_of_le_left