Commit 2023-12-08 10:23 4fe66bbf

View on Github →

chore: Rename ...MonoRev to ...ReflectLE in classes (#8890) Either ReflectLT should be called StrictMonoRev or ReflectLE should be called MonoRev, but we can't have both and hope people understand the relation between them.

Estimated changes

modified theorem le_mul_iff_one_le_left
modified theorem le_mul_iff_one_le_right
modified theorem le_of_mul_le_mul_left
modified theorem le_of_mul_le_mul_right
modified theorem mul_le_iff_le_one_left
modified theorem mul_le_iff_le_one_right
modified theorem mul_le_mul_left
modified theorem mul_le_mul_right
modified theorem mul_left_cancel_iff_of_pos
modified theorem mul_right_cancel_iff_of_pos