Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
pi.card_Ioc
Modification history
2023-07-14 19:58
src/data/pi/interval.lean
feat(data/*/interval): `finset.uIcc` on concrete structures (#18838) …
Modified
pi.card_Ioc
View on Github →
2021-12-26 03:49
src/data/pi/interval.lean
feat(data/pi/interval): Dependent functions to locally finite orders are locally finite (#11050) …
Added
pi.card_Ioc
View on Github →