Theorem Pi.card_Icc

Modification history

2024-10-22 21:02

Mathlib/Data/Pi/Interval.lean

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

Modified Pi.card_Icc View on Github →

2023-02-09 22:51

Mathlib/Data/Pi/Interval.lean

feat: port Data.Pi.Interval (#2177) …

Added Pi.card_Icc View on Github →