Theorem OrderIso.wellQuasiOrderedLE_iff

Modification history

2025-11-24 13:11
Mathlib/Order/WellQuasiOrder.lean
feat(Order): reprove Dickson's lemma (#31514) …
Added OrderIso.wellQuasiOrderedLE_iffView on Github →