]> www.ginac.de Git - ginac.git/search
Added proof for the new simplification rule for powers.