Exercise algebra.manipulation.exponents.simplify
Description
simplify expression (powers)
Firsts
Rule algebra.manipulation.exponents.distr-power Location [0] Term "Nothing" Focus "Nothing" Environment Rule algebra.manipulation.exponents.distr-power Location [1] Term "Nothing" Focus "Nothing" Environment