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

remove backported lemmas to solvable

Open Tragicus opened this issue 1 year ago • 0 comments

The lemmas in various.v for the package algebra have been backported here:

  • https://github.com/math-comp/math-comp/pull/1198

Tragicus avatar Mar 29 '24 14:03 Tragicus