Prod

📁 Source: Mathlib/Algebra/Order/Sub/Prod.lean

Statistics

Metric	Count
Definitions	0
Theorems orderedSub, orderedSub	2
Total	2

Pi

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
orderedSub 📖	mathematical	OrderedSub Preorder.toLE	hasLe instAdd instSub	—	tsub_le_iff_right

Prod

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
orderedSub 📖	mathematical	—	OrderedSub instLE_mathlib Preorder.toLE instAdd instSub	—	tsub_le_iff_right

---

← Back to Index