Theorem WellQuasiOrdered.pi

Modification history

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