Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nhds_left'_le_nhds_ne

Modification history