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

remove backported lemmas to algebra

Open Tragicus opened this issue 1 year ago • 0 comments

The lemmas in various.v for the package algebra have been backported here (modulo https://github.com/math-comp/Abel/pull/86):

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

Tragicus avatar Mar 28 '24 16:03 Tragicus