- [x] Change to `class SrcMDSpan` and `class DstMDSpan`, `SrcMDSpan` is a specialization of mdspan, etc - [x] `class T = typename DstMDSpan::element_type` - [x] Make first precondition hardened (is_unique too expensive) - [x] Remove "unique multidim", change effects to same as linalg copy * `is_constructible` constraint should be mandate? * No * `is_unique` can return false -> could put it in the wording * probably not
class SrcMDSpanandclass DstMDSpan,SrcMDSpanis a specialization of mdspan, etcclass T = typename DstMDSpan::element_typeis_constructibleconstraint should be mandate?is_uniquecan return false -> could put it in the wording