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