Theorem Int.card_Ioc_of_le

Modification history

2024-10-22 21:02

Mathlib/Data/Int/Interval.lean

chore(Data): use newly introduced finset notation (#18059) …

Modified Int.card_Ioc_of_le View on Github →

2023-01-27 06:03

Mathlib/Data/Int/Interval.lean

feat: port Data.Int.Interval (#1869)

Added Int.card_Ioc_of_le View on Github →