A list of factors, a count factorised, in the counts N. More...

Concept definition

template<typename L, typename N>
concept dedekind::category::detail_periodic::IsFactorsOf = 
    std::ranges::forward_range<const L> &&  
    std::same_as<std::ranges::range_value_t<const L>, Factor<N>>

Detailed Description

A list of factors, a count factorised, in the counts N.