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

adapt to MC#1229

Open Tragicus opened this issue 1 year ago • 0 comments

Some proofs rely on the fact that the proof of membership in I_n comes from inZp, which is not the case anymore with https://github.com/math-comp/math-comp/pull/1229.

Tragicus avatar Aug 02 '24 08:08 Tragicus