Tensor-pattern laws #
Equivalence, row-major indexing, mixed-radix, pack, reduction, and matrix theorems for checked and lowered operations.
Equivalence, row-major indexing, mixed-radix, pack, reduction, and matrix theorems for checked and lowered operations.