Mathlib v3 is deprecated. Go to Mathlib v4

Theorem map_le_line_map_iff_slope_le_slope_right

Modification history