remove backported lemmas to ssralg and poly#86

Tragicus wants to merge 2 commits intomath-comp:mastermath-comp/Abel:masterfrom

Tragicus:backport-polyTragicus/Abel:backport-polyCopy head branch name to clipboard