Theorem Set.IsPWO.pi

Modification history

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