Skip to content

remove backported lemmas to ssralg and poly#86

Open
Tragicus wants to merge 2 commits into
math-comp:masterfrom
Tragicus:backport-poly
Open

remove backported lemmas to ssralg and poly#86
Tragicus wants to merge 2 commits into
math-comp:masterfrom
Tragicus:backport-poly

backport ssralg and poly

9c6f54e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs