FinsetInterval

📁 Source: Mathlib/Tactic/Simproc/FinsetInterval.lean

Statistics

Metric	Count
Definitions Icc_ofNat_ofNat, Ico_ofNat_ofNat, Iic_ofNat, Iio_ofNat, Ioc_ofNat_ofNat, Ioo_ofNat_ofNat, evalFinsetIccInt, evalFinsetIccNat	8
Theorems	0
Total	8

Finset

Definitions

Name	Category	Theorems
Icc_ofNat_ofNat 📖	CompOp	—
Ico_ofNat_ofNat 📖	CompOp	—
Iic_ofNat 📖	CompOp	—
Iio_ofNat 📖	CompOp	—
Ioc_ofNat_ofNat 📖	CompOp	—
Ioo_ofNat_ofNat 📖	CompOp	—

Mathlib.Tactic.Simp

Definitions

Name	Category	Theorems
evalFinsetIccInt 📖	CompOp	—
evalFinsetIccNat 📖	CompOp	—

---

← Back to Index