Mathlib v3 is deprecated. Go to Mathlib v4

Theorem not_well_founded_swap_of_infinite_of_well_order

Modification history