Concept definition

template<typename MA, typename MB>
concept detray::concepts::matrix_compatible = 
    matrix<MA> && matrix<MB> &&
    std::convertible_to<traits::index_t<MA>, traits::index_t<MB>> &&
    std::convertible_to<traits::index_t<MB>, traits::index_t<MA>>