Used simplifier rules/spec theorems by specification

Used from specification int-gcd

• int-gcd/coprime-mod-zero is used by test-divides-01,
• int-gcd/gcd-com is used by test-divides-01,
• int-gcd/gcd-zero-04 is used by test-divides-01,
• int-gcd/num-gcd-pos is used by test-divides-01,

Used from specification decimal

• decimal/Equality is used by test-divides-01,
• decimal/intvalue-base is used by test-sqrt-05, test-sqrt-04, test-sqrt-03, test-sqrt-02, test-sqrt-01, test-divides-04, test-divides-03, test-divides-02, test-divides-01, test-div-04, test-div-03, test-div-02, test-div-01,
• decimal/maxScale-base is used by test-div-01,
• decimal/mkDecimal-enlarge is used by sqrt-exact-def,
• decimal/mkDecimal-rec is used by test-divides-03, test-divides-02, test-divides-01, test-div-03, test-div-02,
• decimal/scale-base is used by test-sqrt-05, test-sqrt-04, test-sqrt-03, test-sqrt-02, test-sqrt-01, test-divides-04, test-divides-03, test-divides-02, test-divides-01, test-div-04, test-div-03, test-div-02, test-div-01,
• decimal/eq-same is used by test-sqrt-05, test-sqrt-04, test-sqrt-03, test-sqrt-02, test-sqrt-01, test-divides-04, test-divides-03, test-divides-02, test-divides-01, test-div-04, test-div-03, test-div-02, test-div-01,
• decimal/eq-zero is used by test-divides-01, test-div-04, test-div-03, test-div-02,
• decimal/scale-not-neg is used by sqrt-exact-def,

Used from specification int-mult

• int-mult/associativity is used by test-sqrt-05, test-sqrt-04, test-sqrt-03, test-sqrt-02, test-sqrt-01, test-divides-04, test-divides-03, test-divides-02, test-divides-01, test-div-04, test-div-03, test-div-02, test-div-01, sqrt-exact-def,
• int-mult/commutativity is used by test-sqrt-05, test-sqrt-04, test-sqrt-03, test-sqrt-02, test-sqrt-01, test-divides-04, test-divides-03, test-divides-02, test-divides-01, test-div-04, test-div-03, test-div-02, test-div-01, sqrt-exact-def,
• int-mult/eq-one is used by test-divides-01,
• int-mult/one is used by test-sqrt-01, test-div-03, test-div-01,

Used from specification int-pot

• int-pot/isSquare-10pot is used by sqrt-exact-def,
• int-pot/sqrt-10pot is used by sqrt-exact-def,

Used from specification int-abs

• int-abs/Abs-pos is used by sqrt-exact-def,
• int-abs/abs-01 is used by test-divides-01,
• int-abs/abs-03 is used by sqrt-exact-def,
• int-abs/abs-07 is used by test-divides-01,
• int-abs/abs-08 is used by sqrt-exact-def,
• int-abs/abs-abs is used by test-divides-01,
• int-abs/lels is used by test-sqrt-05, test-sqrt-04, test-sqrt-03, test-sqrt-02, test-divides-01,
• int-abs/neg-15 is used by sqrt-exact-def,

Used from specification int-min

• int-min/even-def-mod is used by test-sqrt-04,
• int-min/odd-def-mod is used by test-sqrt-05,
• int-min/even-2 is used by test-sqrt-01,
• int-min/even-zero is used by test-sqrt-02,
• int-min/odd-one is used by test-sqrt-03,

Used from specification intnat

• intnat/labs is used by test-divides-01,

Used from specification int-basic2

• int-basic2/add-a is used by test-sqrt-05, test-sqrt-04, test-sqrt-03, test-sqrt-02, test-sqrt-01, test-divides-04, test-divides-03, test-divides-02, test-divides-01, test-div-04, test-div-03, test-div-02, test-div-01, sqrt-exact-def,
• int-basic2/add-c is used by test-sqrt-05, test-sqrt-04, test-sqrt-03, test-sqrt-02, test-sqrt-01, test-divides-04, test-divides-03, test-divides-02, test-divides-01, test-div-04, test-div-03, test-div-02, test-div-01, sqrt-exact-def,
• int-basic2/add-zero is used by test-sqrt-01, test-divides-03, test-divides-02, test-divides-01, test-div-04,

Used from specification int-div

• int-div/div-mult-num is used by test-divides-01,
• int-div/abs is used by test-divides-01, sqrt-exact-def,
• int-div/abs-div10-le is used by test-divides-01,
• int-div/neg-01 is used by sqrt-exact-def,

Used from specification decimal-simple-ops

• decimal-simple-ops/mult-def is used by test-divides-04, test-divides-03, test-divides-02, test-div-04, test-div-03, test-div-02,
• decimal-simple-ops/mult-def-any is used by test-divides-01,
• decimal-simple-ops/mult-eq-same is used by test-div-04, test-div-03, test-div-02,
• decimal-simple-ops/square-sqrt is used by sqrt-exact-square,
• decimal-simple-ops/square-sqrt-01 is used by sqrt-isSquare,
• decimal-simple-ops/square-sqrt-02 is used by isSquare-isSquare,
• decimal-simple-ops/mult-a is used by sqrt-isSquare, sqrt-exact-square, isSquare-scale, isSquare-pos, isSquare-isSquare,
• decimal-simple-ops/mult-c is used by sqrt-isSquare, sqrt-exact-square, isSquare-scale, isSquare-pos, isSquare-isSquare,
• decimal-simple-ops/square-isSquare is used by isSquare-isSquare,
• decimal-simple-ops/square-pos is used by isSquare-pos,
• decimal-simple-ops/square-scale is used by isSquare-scale,
• decimal-simple-ops/square-scale-01 is used by isSquare-isSquare,
• decimal-simple-ops/zero-def is used by sqrt-exact-square, isSquare-pos,

Used from specification int-square

• int-square/Square-def is used by test-sqrt-05, test-sqrt-04, test-sqrt-03, test-sqrt-02,
• int-square/inverse-ii is used by test-sqrt-01,
• int-square/sqrt-estimate is used by test-sqrt-05, test-sqrt-04, test-sqrt-03, test-sqrt-02,
• int-square/sqrt-mult-squares is used by sqrt-exact-def,