Mathlib Changelog
v4
Changelog
About
Github
Theorem
Set.pairwise_disjoint_Ico_zpow
Modification history
2023-02-19 17:41
Mathlib/Data/Set/Intervals/Group.lean
feat(algebra/order): unions of Ioc intervals (#2263) …
Added
Set.pairwise_disjoint_Ico_zpow
View on Github →