Clamp

📁 Source: Mathlib/Order/Fin/Clamp.lean

Statistics

Metric	Count
Definitions	0
Theorems clamp_eq_last, clamp_monotone	2
Total	2

Fin

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
clamp_eq_last 📖	—	—	—	—	—
clamp_monotone 📖	mathematical	—	Monotone Nat.instPreorder PartialOrder.toPreorder instPartialOrder	—	le_iff_val_le_val min_le_min_right

---

← Back to Index