dedekind::category::IsDistributive Concept Reference

The "Glue" of the Ring: a * (b + c) = a*b + a*c. More...

Concept definition

template<typename T, typename Mul, typename Add>
concept dedekind::category::IsDistributive =  requires(T a, T b, T c) {
  
  
  
  requires distributive<T>(std::remove_cvref_t<Mul>{},
                           std::remove_cvref_t<Add>{});
}

Detailed Description

The "Glue" of the Ring: a * (b + c) = a*b + a*c.

Verification: The Symmetry Law