dedekind::category::IsCommutative Concept Reference

Concept definition

template<typename T, typename Op>
concept dedekind::category::IsCommutative =  is_commutative_v<T, std::remove_cvref_t<Op>>