SetIsMax

📁 Source: Mathlib/Order/SetIsMax.lean

Statistics

Metric	Count
Definitions	0
Theorems not_isMax_coe, not_isMin_coe	2
Total	2

Set

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
not_isMax_coe 📖	—	IsMax Elem Preorder.toLE Set instMembership	—	—	—
not_isMin_coe 📖	—	IsMin Elem Preorder.toLE Set instMembership	—	—	—

---

← Back to Index