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

define order on algR via copy

Open Tragicus opened this issue 1 year ago • 0 comments

https://github.com/math-comp/math-comp/pull/1169 removes PartialCancel that algR.v used to define an order on algR. We use copy instead.

Tragicus avatar Aug 06 '24 11:08 Tragicus