Rearrangement equivalence laws #
This stable import collects compact row-major index theory, checked-plan comparison, semantic equivalence, and compiler-level congruence.
This stable import collects compact row-major index theory, checked-plan comparison, semantic equivalence, and compiler-level congruence.