Mathlib v3 is deprecated. Go to Mathlib v4

Theorem well_founded.supr_eq_monotonic_sequence_limit

Modification history