Abel icon indicating copy to clipboard operation
Abel copied to clipboard
verified publisher icon math-comp

remove backported lemmas to ssralg and poly

Open Tragicus opened this issue 1 year ago • 0 comments

The lemmas in various.v for ssralg and poly have been backported here:

  • https://github.com/math-comp/math-comp/pull/1185 Relies on https://github.com/math-comp/Abel/pull/85

Tragicus avatar Mar 22 '24 09:03 Tragicus