PWO

📁 Source: Mathlib/Data/Finsupp/PWO.lean

Statistics

Metric	Count
Definitions	0
Theorems isPWO, wellQuasiOrderedLE	2
Total	2

Finsupp

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
isPWO 📖	mathematical	—	Set.IsPWO Finsupp preorder	—	Set.isPWO_of_wellQuasiOrderedLE wellQuasiOrderedLE
wellQuasiOrderedLE 📖	mathematical	—	WellQuasiOrderedLE Finsupp instLE Preorder.toLE	—	OrderIso.wellQuasiOrderedLE_iff Pi.wellQuasiOrderedLE

---

← Back to Index