Multiset.range n
gives {0, 1, ..., n-1}
as a multiset. #
@[deprecated Multiset.notMem_range_self (since := "2025-05-23")]
Alias of Multiset.notMem_range_self
.
Multiset.range n
gives {0, 1, ..., n-1}
as a multiset. #Alias of Multiset.notMem_range_self
.