return to top
source
Equivalence, row-major indexing, mixed-radix, pack, and reduction theorems for checked and lowered operations.