Sum

📁 Source: Mathlib/Algebra/Order/Sum.lean

Statistics

Metric	Count
Definitions	0
Theorems elim_le_one_iff, elim_nonpos_iff, nonneg_elim_iff, one_le_elim_iff	4
Total	4

Sum

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
elim_le_one_iff 📖	mathematical	—	Pi.hasLe Pi.instOne	—	elim_le_const_iff
elim_nonpos_iff 📖	mathematical	—	Pi.hasLe Pi.instZero	—	elim_le_const_iff
nonneg_elim_iff 📖	mathematical	—	Pi.hasLe Pi.instZero	—	const_le_elim_iff
one_le_elim_iff 📖	mathematical	—	Pi.hasLe Pi.instOne	—	const_le_elim_iff

---

← Back to Index