Mathlib v3 is deprecated. Go to Mathlib v4

Def function.injective.linear_ordered_comm_monoid_with_zero

Modification history