Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-06 03:41 1bc59c99

View on Github →

refactor(*): replace function.swap by swap (#8612) This shortens some statements without decreasing legibility (IMO).

Estimated changes

modified theorem div_le_inv_mul_iff
modified theorem le_mul_of_one_le_of_le
modified theorem le_of_mul_le_mul_right'
modified theorem lt_mul_of_one_lt_left'
modified theorem lt_mul_of_one_lt_of_le
modified theorem lt_of_mul_lt_mul_right'
modified theorem monotone.mul'
modified theorem monotone.mul_const'
modified theorem mul_le_mul_right'
modified theorem mul_le_of_le_one_of_le
modified theorem mul_lt_mul_of_lt_of_le
modified theorem mul_lt_mul_right'
modified theorem mul_lt_of_le_one_of_lt
modified theorem mul_lt_of_lt_one_of_le
modified theorem right.mul_lt_one
modified theorem right.one_le_mul
modified theorem right.one_lt_mul
modified theorem nat.primrec.swap'
modified theorem primrec₂.swap