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

remove backported lemmas to fingroup

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/1196

Tragicus avatar Mar 28 '24 17:03 Tragicus