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

remove backported lemmas to ssreflect

Open Tragicus opened this issue 1 year ago • 0 comments

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

  • https://github.com/math-comp/math-comp/pull/1193
  • https://github.com/math-comp/math-comp/pull/1184

Tragicus avatar Mar 22 '24 07:03 Tragicus