Definition ulsubmx := lsubmx (usubmx A).Definition ursubmx := rsubmx (usubmx A).Definition dlsubmx := lsubmx (dsubmx A).Definition drsubmx := rsubmx (dsubmx A).

Lemma block_mxEdl i j : A (rshift m1 i) (lshift n2 j) = Adl i j.