Theorem Set.pairwise_disjoint_Ioc_mul_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_Ioc_mul_zpowView on Github →