Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pos_mul_mono_iff_pos_mul_strict_mono

Modification history