Used simplifier rules/spec theorems by specification

Used from specification nat

• nat/add-num-03 is used by subarray-emptypeb-eq-emptypage, pebsize-simp-neq, pebsize-simp-ls-rev, pebsize-simp-ls, pebsize-le-page-size, peb-size-rewrite,
• nat/fle-01 is used by subarray-emptypeb-eq-emptyleb,
• nat/gr-def is used by peb-vs-leb-size-ext,
• nat/le-ls-simp is used by subarray-emptypeb-eq-emptyleb, pebsize-le-2page-size-lebsize,
• nat/lels is used by subarray-emptypeb-eq-emptypage1, subarray-emptypeb-eq-emptypage, subarray-emptypeb-eq-emptyleb, peb-vs-leb-size-ext, lebsize-2page-size-le,
• nat/lels-01 is used by subarray-emptypeb-eq-emptypage1, subarray-emptypeb-eq-emptypage,
• nat/lep-02 is used by subarray-emptypeb-eq-emptyleb, pebsize-ls-2page-size-n, lebsize-2page-size-le,
• nat/ler is used by subarray-emptypeb-eq-emptyleb,
• nat/let is used by subarray-emptypeb-eq-emptypage1, lebsize-2page-size-le,
• nat/ls-le-simp is used by subarray-emptypeb-eq-emptypage1, subarray-emptypeb-eq-emptypage, subarray-emptypeb-eq-emptyleb, pebsize-le-minus-eb-page-size, peb-vs-leb-size-ext, lebsize-2page-size-le,

Used from specification array-copy

• array-copy/buffer/at-subarray is used by subarray-emptypeb-eq-emptypage1, subarray-emptypeb-eq-emptypage, subarray-emptypeb-eq-emptyleb,
• array-copy/buffer/size-subarray is used by subarray-emptypeb-eq-emptypage1, subarray-emptypeb-eq-emptypage, subarray-emptypeb-eq-emptyleb,

Used from specification nat-basic2

• nat-basic2/a is used by subarray-emptypeb-eq-emptypage1, subarray-emptypeb-eq-emptypage, subarray-emptypeb-eq-emptyleb, pebsize-simp-neq, pebsize-simp-ls-rev, pebsize-simp-ls, pebsize-minus-eb-page-size, pebsize-minus-2eb-page-size, pebsize-ls-lebsize, pebsize-ls-2page-size-n, pebsize-le-page-size, pebsize-le-minus-eb-page-size, pebsize-le-2page-size-n, pebsize-le-2page-size-lebsize, pebsize-le-2page-size, peb-vs-leb-size-ext, peb-vs-leb-size, peb-size-rewrite, peb-size-not0, peb-size-ge2, lebsize-pebsize, lebsize-ls-2page-size-pebsize, lebsize-eq-2page-size-pebsize, lebsize-add-eq-0, lebsize-2page-size-le,
• nat-basic2/add-base is used by subarray-emptypeb-eq-emptypage,
• nat-basic2/c is used by subarray-emptypeb-eq-emptypage1, subarray-emptypeb-eq-emptypage, subarray-emptypeb-eq-emptyleb, pebsize-simp-neq, pebsize-simp-ls-rev, pebsize-simp-ls, pebsize-minus-eb-page-size, pebsize-minus-2eb-page-size, pebsize-ls-lebsize, pebsize-ls-2page-size-n, pebsize-le-page-size, pebsize-le-minus-eb-page-size, pebsize-le-2page-size-n, pebsize-le-2page-size-lebsize, pebsize-le-2page-size, peb-vs-leb-size-ext, peb-vs-leb-size, peb-size-rewrite, peb-size-not0, peb-size-ge2, lebsize-pebsize, lebsize-ls-2page-size-pebsize, lebsize-eq-2page-size-pebsize, lebsize-add-eq-0, lebsize-2page-size-le,
• nat-basic2/eq-01 is used by pebsize-minus-2eb-page-size,
• nat-basic2/l is used by pebsize-le-2page-size-n, peb-vs-leb-size-ext,
• nat-basic2/l-02 is used by subarray-emptypeb-eq-emptypage1, pebsize-ls-lebsize, pebsize-le-2page-size, peb-vs-leb-size, peb-size-ge2,
• nat-basic2/z-01 is used by peb-size-not0, lebsize-add-eq-0,

Used from specification nat-mult

• nat-mult/dist is used by subarray-emptypeb-eq-emptyleb, pebsize-simp-ls, pebsize-minus-eb-page-size, pebsize-minus-2eb-page-size, pebsize-ls-2page-size-n, pebsize-le-minus-eb-page-size, pebsize-le-2page-size-n, lebsize-2page-size-le,
• nat-mult/zero-01 is used by lebsize-neq-zero,
• nat-mult/coef-04 is used by lebsize-pebsize,
• nat-mult/coef-05 is used by subarray-emptypeb-eq-emptyleb,
• nat-mult/le-05 is used by subarray-emptypeb-eq-emptypage,
• nat-mult/ls is used by subarray-emptypeb-eq-emptypage1, pebsize-simp-ls-rev, pebsize-ls-lebsize, pebsize-le-2page-size, lebsize-simp-ls,
• nat-mult/ls-01 is used by subarray-emptypeb-eq-emptypage, pebsize-le-page-size,
• nat-mult/mult-a is used by subarray-emptypeb-eq-emptypage1, subarray-emptypeb-eq-emptypage, subarray-emptypeb-eq-emptyleb, pebsize-simp-neq, pebsize-simp-ls-rev, pebsize-simp-ls, pebsize-page-size-is-aligned, pebsize-minus-eb-page-size, pebsize-ls-lebsize, pebsize-le-page-size, pebsize-le-minus-eb-page-size, pebsize-le-2page-size-lebsize, pebsize-le-2page-size, peb-size-rewrite, lebsize-simp-ls, lebsize-pebsize, lebsize-page-size-is-aligned, lebsize-ls-2page-size-pebsize, lebsize-eq-2page-size-pebsize,
• nat-mult/mult-c is used by subarray-emptypeb-eq-emptypage1, subarray-emptypeb-eq-emptypage, subarray-emptypeb-eq-emptyleb, pebsize-simp-neq, pebsize-simp-ls-rev, pebsize-simp-ls, pebsize-page-size-is-aligned, pebsize-minus-eb-page-size, pebsize-minus-2eb-page-size, pebsize-ls-lebsize, pebsize-ls-2page-size-n, pebsize-le-page-size, pebsize-le-minus-eb-page-size, pebsize-le-2page-size-n, pebsize-le-2page-size-lebsize, pebsize-le-2page-size, peb-size-rewrite, lebsize-simp-ls, lebsize-pebsize, lebsize-page-size-is-aligned, lebsize-ls-2page-size-pebsize, lebsize-eq-2page-size-pebsize, lebsize-2page-size-le,
• nat-mult/numeral-19 is used by pebsize-minus-eb-page-size,
• nat-mult/numeral-20 is used by pebsize-le-minus-eb-page-size,
• nat-mult/numeral-26 is used by subarray-emptypeb-eq-emptypage1,
• nat-mult/one is used by subarray-emptypeb-eq-emptypage1, pebsize-minus-eb-page-size, pebsize-le-minus-eb-page-size,
• nat-mult/two-02 is used by subarray-emptypeb-eq-emptypage1,
• nat-mult/two-zero-01 is used by pebsize-le-2page-size,
• nat-mult/zero-01 is used by subarray-emptypeb-eq-emptyleb, pebsize-simp-ls-rev, pebsize-simp-ls, pebsize-ls-lebsize, lebsize-simp-ls,
• nat-mult/zero-02 is used by pebsize-simp-neq, peb-size-rewrite,

Used from specification nat-basic1

• nat-basic1/f is used by subarray-emptypeb-eq-emptypage1, subarray-emptypeb-eq-emptypage, subarray-emptypeb-eq-emptyleb, pebsize-simp-ls-rev, pebsize-simp-ls, pebsize-ls-lebsize, pebsize-le-page-size, pebsize-le-minus-eb-page-size, pebsize-le-2page-size, lebsize-simp-ls, lebsize-2page-size-le,
• nat-basic1/lf-01 is used by subarray-emptypeb-eq-emptyleb,
• nat-basic1/ls-02 is used by lebsize-ls-2page-size-pebsize,
• nat-basic1/ref-1 is used by pebsize-simp-ls-rev, lebsize-simp-ls, lebsize-eq-2page-size-pebsize,

Used from specification nat-div

• nat-div/mod-mult-01 is used by pebsize-page-size-is-aligned, lebsize-page-size-is-aligned,

Used from specification align

• align/is-aligned-def is used by pebsize-page-size-is-aligned, lebsize-page-size-is-aligned,

Used from specification array

• array/buffer/Extension is used by subarray-emptypeb-eq-emptypage1, subarray-emptypeb-eq-emptypage, subarray-emptypeb-eq-emptyleb,